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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " en/ 0/ 0b/ GreaterThanOrEqualTo.png") pictureList.kif 8551-8551
(externalImage IrreflexiveRelation " en/ 5/ 59/ GreaterThan.png") pictureList.kif 9357-9357
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2249-2249 非反射関係2項関係subclass では %n

appearance as argument number 2

(instance ancestor IrreflexiveRelation) Merge.kif 16317-16317 ancestor非反射関係instance では %n
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 24095-24095 ancestorOrganization非反射関係instance では %n
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10632-10632 antagonistMuscles非反射関係instance では %n
(instance attribute IrreflexiveRelation) Merge.kif 1716-1716 attribute非反射関係instance では %n
(instance before IrreflexiveRelation) Merge.kif 8097-8097 before非反射関係instance では %n
(instance brother IrreflexiveRelation) Merge.kif 16470-16470 brother非反射関係instance では %n
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 16780-16780 classmate非反射関係instance では %n
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 16801-16801 colleague非反射関係instance では %n
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6463-6463 conjugate非反射関係instance では %n
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 16063-16063 connectedEngineeringComponents非反射関係instance では %n
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7683-7683 customer非反射関係instance では %n
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2615-2615 decreasesLikelihood非反射関係instance では %n
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4544-4544 diplomaticRelations非反射関係instance では %n
(instance disjointRelation IrreflexiveRelation) Merge.kif 410-410 disjointRelation非反射関係instance では %n
(instance during IrreflexiveRelation) Merge.kif 8307-8307 during非反射関係instance では %n
(instance earlier IrreflexiveRelation) Merge.kif 8369-8369 earlier非反射関係instance では %n
(instance exportPartner IrreflexiveRelation) Economy.kif 2386-2386 exportPartner非反射関係instance では %n
(instance finishes IrreflexiveRelation) Merge.kif 8067-8067 finishes非反射関係instance では %n
(instance graphPart IrreflexiveRelation) Merge.kif 5887-5887 graphPart非反射関係instance では %n
(instance greaterThan IrreflexiveRelation) Merge.kif 1845-1845 greaterThan非反射関係instance では %n
(instance hinders IrreflexiveRelation) Merge.kif 4389-4389 hinders非反射関係instance では %n
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4307-4307 hindersSubclass非反射関係instance では %n
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8394-8394 hostileForces非反射関係instance では %n
(instance husband IrreflexiveRelation) Merge.kif 16540-16540 husband非反射関係instance では %n
(instance importPartner IrreflexiveRelation) Economy.kif 2674-2674 importPartner非反射関係instance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation))
    (instance ?REL AsymmetricRelation))
Merge.kif 2286-2290
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
            (?REL ?INST ?INST))))
Merge.kif 2254-2258


    (instance ?REL AsymmetricRelation)
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2280-2284

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 3.0 is open source software produced by Articulate Software and its partners