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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IrreflexiveRelation

 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 2251-2252
(documentation IrreflexiveRelation JapaneseLanguage "Relation ?REL は、(?REL ?INST ?INST) に?INSTの値がない場合のみ非再帰的である。") japanese_format.kif 455-456
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png") pictureList.kif 8551-8551
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9357-9357
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2249-2249 子類 IrreflexiveRelation and BinaryRelation

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


(instance ancestor IrreflexiveRelation) Merge.kif 16347-16347 例 祖先 and IrreflexiveRelation
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 24166-24166 例 祖先組織 and IrreflexiveRelation
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10660-10660 例 antagonistMuscles and IrreflexiveRelation
(instance attribute IrreflexiveRelation) Merge.kif 1716-1716 例 attribute and IrreflexiveRelation
(instance before IrreflexiveRelation) Merge.kif 8097-8097 例 之前 and IrreflexiveRelation
(instance brother IrreflexiveRelation) Merge.kif 16500-16500 例 哥哥 and IrreflexiveRelation
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 16809-16809 例 同學關係 and IrreflexiveRelation
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 16830-16830 例 同事關係 and IrreflexiveRelation
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6491-6491 例 共軛 and IrreflexiveRelation
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 16093-16093 例 連接的工程組件 and IrreflexiveRelation
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7711-7711 例 顧客 and IrreflexiveRelation
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2615-2615 例 降低可能性 and IrreflexiveRelation
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4544-4544 例 外交關係 and IrreflexiveRelation
(instance disjointRelation IrreflexiveRelation) Merge.kif 410-410 例 不相交的關係 and IrreflexiveRelation
(instance during IrreflexiveRelation) Merge.kif 8307-8307 例 期間 and IrreflexiveRelation
(instance earlier IrreflexiveRelation) Merge.kif 8369-8369 例 早期 and IrreflexiveRelation
(instance exportPartner IrreflexiveRelation) Economy.kif 2370-2370 例 出口夥伴 and IrreflexiveRelation
(instance finishes IrreflexiveRelation) Merge.kif 8067-8067 例 飾面 and IrreflexiveRelation
(instance graphPart IrreflexiveRelation) Merge.kif 5887-5887 例 圖形部分 and IrreflexiveRelation
(instance greaterThan IrreflexiveRelation) Merge.kif 1845-1845 例 比較多 and IrreflexiveRelation
(instance hinders IrreflexiveRelation) Merge.kif 4389-4389 例 hinders and IrreflexiveRelation
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4307-4307 例 hindersSubclass and IrreflexiveRelation
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8422-8422 例 敵對勢力 and IrreflexiveRelation
(instance husband IrreflexiveRelation) Merge.kif 16570-16570 例 丈夫 and IrreflexiveRelation
(instance importPartner IrreflexiveRelation) Economy.kif 2658-2658 例 進口夥伴 and IrreflexiveRelation

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 2286-2290
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
        (not
            (?REL ?INST ?INST))))		 Merge.kif 2254-2258

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


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


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