P72 has language (is language of) in version 7.1.1

Domain:

Range:

Subproperty of:

No subproperties found

Superproperty of: No superproperties found

Quantification:

many to many,necessary (1,n,0,n)

Scope Note:

This property associates an instance(s) of E33 Linguistic Object with an instance of E56 Language in which it is, at least partially, expressed.

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 18^th Century English (E56). (Perley, 2017)

In First Order Logic:

P72(x,y) ⇒ E33(x), P72(x,y) ⇒ E56(y)

Search form