Submissions:Lexico Syntactic ODP corresponding to Equivalence relation between Classes ODP/1

From Odp

Jump to: navigation, search

NL Formulations

  • Poison dart frogs are also known as poison-arrow frogs.

LSP Formalization

NP<class> be (the same as/synonym of)/know as/call/(refer to as) NP<class>

Reusable JAPE code: EQ 1.jape

Abbreviation and symbols

Personal tools
Quality Committee
Content OP publishers