Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  IrreflexiveRelation

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(非自反关系)

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 非自反关系二元关系subclass

appearance as argument number 2
-------------------------


(instance ancestor IrreflexiveRelation) Merge.kif 16347-16347 祖先非自反关系instance
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 24166-24166 祖先组织非自反关系instance
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10660-10660 antagonistMuscles非自反关系instance
(instance attribute IrreflexiveRelation) Merge.kif 1716-1716 属于非自反关系instance
(instance before IrreflexiveRelation) Merge.kif 8097-8097 之前非自反关系instance
(instance brother IrreflexiveRelation) Merge.kif 16500-16500 哥哥非自反关系instance
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 16809-16809 classmate非自反关系instance
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 16830-16830 colleague非自反关系instance
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6491-6491 共轭非自反关系instance
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 16093-16093 相连工程子组件非自反关系instance
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7711-7711 顾客非自反关系instance
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2615-2615 降低可能性非自反关系instance
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4544-4544 外交关系非自反关系instance
(instance disjointRelation IrreflexiveRelation) Merge.kif 410-410 不相交关系非自反关系instance
(instance during IrreflexiveRelation) Merge.kif 8307-8307 在这时间内非自反关系instance
(instance earlier IrreflexiveRelation) Merge.kif 8369-8369 更早非自反关系instance
(instance exportPartner IrreflexiveRelation) Economy.kif 2370-2370 出口伙伴非自反关系instance
(instance finishes IrreflexiveRelation) Merge.kif 8067-8067 完成非自反关系instance
(instance graphPart IrreflexiveRelation) Merge.kif 5887-5887 图形部分非自反关系instance
(instance greaterThan IrreflexiveRelation) Merge.kif 1845-1845 大于非自反关系instance
(instance hinders IrreflexiveRelation) Merge.kif 4389-4389 hinders非自反关系instance
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4307-4307 hindersSubclass非自反关系instance
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8422-8422 敌对势力非自反关系instance
(instance husband IrreflexiveRelation) Merge.kif 16570-16570 丈夫非自反关系instance
(instance importPartner IrreflexiveRelation) Economy.kif 2658-2658 进口伙伴非自反关系instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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