| appearance as argument number 1 |
|
| (documentation language EnglishLanguage "A relation between a ContentBearingPhysical and a Language in that Entity. Note that this could be a sign language process as well as a document. Note also that a given Text might have more than one Language, so this is a Relation and not a Function.") | Merge.kif 1449-1452 | |
| (domain language 1 ContentBearingPhysical) | Merge.kif 1445-1445 | language 的 1 数量 是 内容承载物理 的 instance |
| (domain language 2 Language) | Merge.kif 1446-1446 | language 的 2 数量 是 语言 的 instance |
| (instance language BinaryPredicate) | Merge.kif 1444-1444 | language 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage language "%2 is %n a Language of %1.") | Merge.kif 1447-1447 |
| consequent |
|
|
| (=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L)))) |
Merge.kif 1460-1466 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners