| IrreflexiveRelation(RelazioneNonRiflessiva)
|
| appearance as argument number 1 |
|
| (documentation IrreflexiveRelation ChineseLanguage "Relation ?REL 属于非自反关系当且仅当没有 一个?INST 是(?REL ?INST ?INST)。") | chinese_format.kif 1835-1836 | |
| (documentation IrreflexiveRelation EnglishLanguage "Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.") | Merge.kif 2251-2252 | |
| (documentation IrreflexiveRelation JapaneseLanguage "Relation ?REL は、(?REL ?INST ?INST) に?INSTの値がない場合のみ非再帰的である。") | japanese_format.kif 455-456 | |
| (externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png") | pictureList.kif 8551-8551 | |
| (externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") | pictureList.kif 9357-9357 | |
| (subclass IrreflexiveRelation BinaryRelation) | Merge.kif 2249-2249 | RelazioneNonRiflessiva è una sottoclasse di RelazioneBinaria |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation)) (instance ?REL AsymmetricRelation)) |
Merge.kif 2286-2290 |
|
| (=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (?REL ?INST ?INST)))) |
Merge.kif 2254-2258 |
| consequent |
|
|
| (=> (instance ?REL AsymmetricRelation) (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation))) |
Merge.kif 2280-2284 |
|
|
|
|