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)。") 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 IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9362-9362
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2381-2381

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


(instance BackFn IrreflexiveRelation) Merge.kif 943-943
(instance FrontFn IrreflexiveRelation) Merge.kif 917-917
(instance ancestor IrreflexiveRelation) Merge.kif 16570-16570
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 21929-21929
(instance attribute IrreflexiveRelation) Merge.kif 1773-1773
(instance before IrreflexiveRelation) Merge.kif 8289-8289
(instance brother IrreflexiveRelation) Merge.kif 16735-16735
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6179-6179
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 16273-16273
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7419-7419
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2790-2790
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4481-4481
(instance disjointRelation IrreflexiveRelation) Merge.kif 457-457
(instance during IrreflexiveRelation) Merge.kif 8425-8425
(instance earlier IrreflexiveRelation) Merge.kif 8472-8472
(instance exportPartner IrreflexiveRelation) Economy.kif 2374-2374
(instance finishes IrreflexiveRelation) Merge.kif 8267-8267
(instance graphPart IrreflexiveRelation) Merge.kif 5991-5991
(instance greaterThan IrreflexiveRelation) Merge.kif 1910-1910
(instance hinders IrreflexiveRelation) Merge.kif 4512-4512
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4425-4425
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8145-8145
(instance husband IrreflexiveRelation) Merge.kif 16817-16817
(instance importPartner IrreflexiveRelation) Economy.kif 2661-2661
(instance inList IrreflexiveRelation) Merge.kif 3305-3305

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners