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)。") chinese_format.kif 1835-1836
(documentation IrreflexiveRelation EnglishLanguage "Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.") Merge.kif 2191-2192
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png") pictureList.kif 8552-8552
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9358-9358
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2189-2189 非自反关系二元关系subclass

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


(instance ancestor IrreflexiveRelation) Merge.kif 16072-16072 祖先非自反关系instance
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 23601-23601 祖先组织非自反关系instance
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10168-10168 antagonistMuscles非自反关系instance
(instance attribute IrreflexiveRelation) Merge.kif 1656-1656 属于非自反关系instance
(instance before IrreflexiveRelation) Merge.kif 8001-8001 之前非自反关系instance
(instance brother IrreflexiveRelation) Merge.kif 16225-16225 哥哥非自反关系instance
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 16249-16249 classmate非自反关系instance
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 16270-16270 colleague非自反关系instance
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6160-6160 共轭非自反关系instance
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 15818-15818 相连工程子组件非自反关系instance
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7385-7385 顾客非自反关系instance
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2555-2555 降低可能性非自反关系instance
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4536-4536 外交关系非自反关系instance
(instance disjointRelation IrreflexiveRelation) Merge.kif 408-408 不相交关系非自反关系instance
(instance during IrreflexiveRelation) Merge.kif 8209-8209 在这时间内非自反关系instance
(instance earlier IrreflexiveRelation) Merge.kif 8271-8271 更早非自反关系instance
(instance exportPartner IrreflexiveRelation) Economy.kif 2381-2381 出口伙伴非自反关系instance
(instance finishes IrreflexiveRelation) Merge.kif 7971-7971 完成非自反关系instance
(instance graphPart IrreflexiveRelation) Merge.kif 5785-5785 图形部分非自反关系instance
(instance greaterThan IrreflexiveRelation) Merge.kif 1785-1785 大于非自反关系instance
(instance hinders IrreflexiveRelation) Merge.kif 4299-4299 hinders非自反关系instance
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4217-4217 hindersSubclass非自反关系instance
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8025-8025 敌对势力非自反关系instance
(instance husband IrreflexiveRelation) Merge.kif 16295-16295 丈夫非自反关系instance
(instance importPartner IrreflexiveRelation) Economy.kif 2668-2668 进口伙伴非自反关系instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation))
    (instance ?REL AsymmetricRelation))
Merge.kif 2226-2230
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
        (not
            (?REL ?INST ?INST))))
Merge.kif 2194-2198

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


(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2220-2224


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