| appearance as argument number 1 |
|
| (documentation irreflexiveOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClass 是 非自反的除非这个 SetOrClass 里没有一个实里戴着和自身相关的关系。") | chinese_format.kif 2043-2044 | |
| (documentation irreflexiveOn EnglishLanguage "A BinaryRelation is irreflexive on a SetOrClass only if no instance of the SetOrClass bears the relation to itself.") | Merge.kif 3511-3513 | |
| (domain irreflexiveOn 1 BinaryRelation) | Merge.kif 3508-3508 | |
| (domain irreflexiveOn 2 SetOrClass) | Merge.kif 3509-3509 | |
| (instance irreflexiveOn AsymmetricRelation) | Merge.kif 3507-3507 | |
| (instance irreflexiveOn BinaryPredicate) | Merge.kif 3506-3506 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage irreflexiveOn "%1 在 %2 %n 是 非自反关系") | chinese_format.kif 137-137 | |
| (format EnglishLanguage irreflexiveOn "%1 is %n irreflexive on %2") | english_format.kif 138-138 | |
| (termFormat ChineseLanguage irreflexiveOn "属于非自反关系") | chinese_format.kif 138-138 | |
| (termFormat ChineseLanguage irreflexiveOn "无反驳的") | domainEnglishFormat.kif 31093-31093 | |
| (termFormat ChineseTraditionalLanguage irreflexiveOn "無反駁的") | domainEnglishFormat.kif 31092-31092 | |
| (termFormat EnglishLanguage irreflexiveOn "irreflexive on") | domainEnglishFormat.kif 31091-31091 |
| antecedent |
|
|
| (=> (and (irreflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (not (?RELATION ?INST ?INST))))) |
Merge.kif 3515-3523 |
|
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