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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation

appearance as argument number 1
-------------------------


(documentation IrreflexiveRelation ChineseLanguage "Relation ?REL 属于非自反关系当且仅当没有 一个?INST 是(?REL ?INST ?INST)。") Merge.kif 2371-2372
(documentation IrreflexiveRelation EnglishLanguage "Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.") Merge.kif 2369-2370
(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 2368-2368

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


(instance BackFn IrreflexiveRelation) Merge.kif 931-931
(instance FrontFn IrreflexiveRelation) Merge.kif 905-905
(instance ancestor IrreflexiveRelation) Merge.kif 16518-16518
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 21898-21898
(instance attribute IrreflexiveRelation) Merge.kif 1760-1760
(instance before IrreflexiveRelation) Merge.kif 8272-8272
(instance brother IrreflexiveRelation) Merge.kif 16683-16683
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6179-6179
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 16221-16221
(instance connectedInSocialNetwork IrreflexiveRelation) Facebook.kif 41-41
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7419-7419
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2777-2777
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4481-4481
(instance disjointRelation IrreflexiveRelation) Merge.kif 457-457
(instance during IrreflexiveRelation) Merge.kif 8408-8408
(instance earlier IrreflexiveRelation) Merge.kif 8455-8455
(instance exportPartner IrreflexiveRelation) Economy.kif 2374-2374
(instance finishes IrreflexiveRelation) Merge.kif 8250-8250
(instance graphPart IrreflexiveRelation) Merge.kif 5978-5978
(instance greaterThan IrreflexiveRelation) Merge.kif 1897-1897
(instance hinders IrreflexiveRelation) Merge.kif 4499-4499
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4412-4412
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8145-8145
(instance husband IrreflexiveRelation) Merge.kif 16765-16765
(instance importPartner IrreflexiveRelation) Economy.kif 2661-2661

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 2374-2378

consequent
-------------------------


(<=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2402-2406


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