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 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 非反射関係 and "http://upload.wikimedia.org/wikipedia/en/0/0b/GreaterThanOrEqualTo.png"
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9362-9362 externalImage 非反射関係 and "http://upload.wikimedia.org/wikipedia/en/5/59/GreaterThan.png"
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2381-2381 subclass 非反射関係 and 2項関係

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


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

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 instance エンティティー and 非対称関係 instance エンティティー and 反対称関係 instance エンティティー and 非反射関係


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