| appearance as argument number 1 |
|
| (documentation IntransitiveRelation ChineseLanguage "野葛 BinaryRelation ?REL 是非传递关系 除非所有的 ?INST1， ?INST2 和 ?INST3 是 (?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?INST3)不意味着 (?REL ?INST1 ?INST3)。") | chinese_format.kif 1851-1853 | |
| (documentation IntransitiveRelation EnglishLanguage "A BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.") | Merge.kif 2291-2293 | |
| (subclass IntransitiveRelation BinaryRelation) | Merge.kif 2289-2289 |
| appearance as argument number 2 |
|
|
| (disjoint TransitiveRelation IntransitiveRelation) | Merge.kif 2274-2274 | |
| (instance immediateInstance IntransitiveRelation) | Merge.kif 91-91 | |
| (instance immediateSubclass IntransitiveRelation) | Merge.kif 149-149 | |
| (instance inverse IntransitiveRelation) | Merge.kif 106-106 | |
| (instance meetsTemporally IntransitiveRelation) | Merge.kif 8226-8226 | |
| (instance member IntransitiveRelation) | Merge.kif 1230-1230 | |
| (instance parent IntransitiveRelation) | Merge.kif 16081-16081 | |
| (instance penetrates IntransitiveRelation) | Merge.kif 4118-4118 | |
| (termFormat ChineseLanguage IntransitiveRelation "非传递关系") | chinese_format.kif 900-900 | |
| (termFormat EnglishLanguage IntransitiveRelation "intransitive relation") | english_format.kif 1007-1007 |
| antecedent |
|
|
| (=> (instance ?REL IntransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (and (?REL ?INST1 ?INST2) (?REL ?INST2 ?INST3)) (not (?REL ?INST1 ?INST3))))) |
Merge.kif 2295-2303 |
|
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