| IrreflexiveRelation(非反射関係)
| |
| appearance as argument number 1 |
|
|
| (documentation IrreflexiveRelation ChineseLanguage "Relation ?REL 属于非自反关系当且仅当没有 一个?INST 是(?REL ?INST ?INST)。") | Merge.kif 2384-2385 | |
| (documentation IrreflexiveRelation EnglishLanguage "Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.") | Merge.kif 2382-2383 | |
| (externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png") | pictureList.kif 8554-8554 | externalImage 非反射関係 and "http://upload.wikimedia.org/wikipedia/en/0/0b/GreaterThanOrEqualTo.png" |
| (externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") | pictureList.kif 9362-9362 | externalImage 非反射関係 and "http://upload.wikimedia.org/wikipedia/en/5/59/GreaterThan.png" |
| (subclass IrreflexiveRelation BinaryRelation) | Merge.kif 2381-2381 | subclass 非反射関係 and 2項関係 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (?REL ?INST ?INST)))) |
Merge.kif 2387-2391 |
| consequent |
|
|
| (<=> (instance ?REL AsymmetricRelation) (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation))) |
Merge.kif 2415-2419 | instance エンティティー and 非対称関係 instance エンティティー and 反対称関係 instance エンティティー and 非反射関係 |
|
|
|