P72 has language (is language of) in Version 6.2

Domain:
E33 Linguistic Object
Range:
E56 Language
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
Quantification:
many to many, necessary (1,n:0,n)
Scope Note:
This property describes the E56 Language of an E33 Linguistic Object. 
 
Linguistic Objects are composed in one or more human Languages. This property allows these languages to be documented.
 
Examples:
  • the American Declaration of Independence (E33) has language 18th Century English (E56)
In First Order Logic:
P72(x,y) ⊃ E33(x), P72(x,y) ⊃ E56(y)