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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IrreflexiveRelation

 Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(Relacao Irreflexiva)

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 Relacao Irreflexiva e' uma sub-classe de Relacao Binaria

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


(instance ancestor IrreflexiveRelation) Merge.kif 16369-16369 ancestor e' uma instancia de Relacao Irreflexiva
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 24165-24165 ancestorOrganization e' uma instancia de Relacao Irreflexiva
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10659-10659 antagonistMuscles e' uma instancia de Relacao Irreflexiva
(instance attribute IrreflexiveRelation) Merge.kif 1716-1716 attribute e' uma instancia de Relacao Irreflexiva
(instance before IrreflexiveRelation) Merge.kif 8119-8119 before e' uma instancia de Relacao Irreflexiva
(instance brother IrreflexiveRelation) Merge.kif 16522-16522 brother e' uma instancia de Relacao Irreflexiva
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 16808-16808 classmate e' uma instancia de Relacao Irreflexiva
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 16829-16829 colleague e' uma instancia de Relacao Irreflexiva
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6490-6490 conjugate e' uma instancia de Relacao Irreflexiva
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 16115-16115 connectedEngineeringComponents e' uma instancia de Relacao Irreflexiva
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7710-7710 customer e' uma instancia de Relacao Irreflexiva
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2615-2615 decreasesLikelihood e' uma instancia de Relacao Irreflexiva
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4544-4544 diplomaticRelations e' uma instancia de Relacao Irreflexiva
(instance disjointRelation IrreflexiveRelation) Merge.kif 410-410 disjointRelation e' uma instancia de Relacao Irreflexiva
(instance during IrreflexiveRelation) Merge.kif 8329-8329 during e' uma instancia de Relacao Irreflexiva
(instance earlier IrreflexiveRelation) Merge.kif 8391-8391 earlier e' uma instancia de Relacao Irreflexiva
(instance exportPartner IrreflexiveRelation) Economy.kif 2370-2370 exportPartner e' uma instancia de Relacao Irreflexiva
(instance finishes IrreflexiveRelation) Merge.kif 8089-8089 finishes e' uma instancia de Relacao Irreflexiva
(instance graphPart IrreflexiveRelation) Merge.kif 5887-5887 graphPart e' uma instancia de Relacao Irreflexiva
(instance greaterThan IrreflexiveRelation) Merge.kif 1845-1845 greaterThan e' uma instancia de Relacao Irreflexiva
(instance hinders IrreflexiveRelation) Merge.kif 4389-4389 hinders e' uma instancia de Relacao Irreflexiva
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4307-4307 hindersSubclass e' uma instancia de Relacao Irreflexiva
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8421-8421 hostileForces e' uma instancia de Relacao Irreflexiva
(instance husband IrreflexiveRelation) Merge.kif 16592-16592 husband e' uma instancia de Relacao Irreflexiva
(instance importPartner IrreflexiveRelation) Economy.kif 2658-2658 importPartner e' uma instancia de Relacao Irreflexiva

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