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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Loan

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