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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(relation irr�flexive)

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 2262-2263
(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 8550-8550
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9356-9356
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2260-2260 Relation irr�flexive est une sous-classe de relation binaire

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


(instance ancestor IrreflexiveRelation) Merge.kif 16522-16522 ancestor est une instance de relation irr�flexive
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 25812-25812 ancestorOrganization est une instance de relation irr�flexive
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 11991-11991 antagonistMuscles est une instance de relation irr�flexive
(instance attribute IrreflexiveRelation) Merge.kif 1726-1726 attribute est une instance de relation irr�flexive
(instance before IrreflexiveRelation) Merge.kif 8210-8210 before est une instance de relation irr�flexive
(instance brother IrreflexiveRelation) Merge.kif 16675-16675 brother est une instance de relation irr�flexive
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 18196-18196 classmate est une instance de relation irr�flexive
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 18217-18217 colleague est une instance de relation irr�flexive
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 7428-7428 conjugate est une instance de relation irr�flexive
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 16269-16269 connectedEngineeringComponents est une instance de relation irr�flexive
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 8878-8878 customer est une instance de relation irr�flexive
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2626-2626 decreasesLikelihood est une instance de relation irr�flexive
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4505-4505 diplomaticRelations est une instance de relation irr�flexive
(instance disjointRelation IrreflexiveRelation) Merge.kif 403-403 disjointRelation est une instance de relation irr�flexive
(instance during IrreflexiveRelation) Merge.kif 8420-8420 during est une instance de relation irr�flexive
(instance earlier IrreflexiveRelation) Merge.kif 8482-8482 earlier est une instance de relation irr�flexive
(instance exportPartner IrreflexiveRelation) Economy.kif 2610-2610 exportPartner est une instance de relation irr�flexive
(instance finishes IrreflexiveRelation) Merge.kif 8152-8152 finishes est une instance de relation irr�flexive
(instance finishesDuring IrreflexiveRelation) Merge.kif 8187-8187 finishesDuring est une instance de relation irr�flexive
(instance graphPart IrreflexiveRelation) Merge.kif 5912-5912 graphPart est une instance de relation irr�flexive
(instance greaterThan IrreflexiveRelation) Merge.kif 1855-1855 greaterThan est une instance de relation irr�flexive
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4335-4335 hindersSubclass est une instance de relation irr�flexive
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 9628-9628 hostileForces est une instance de relation irr�flexive
(instance husband IrreflexiveRelation) Merge.kif 16745-16745 husband est une instance de relation irr�flexive
(instance importPartner IrreflexiveRelation) Economy.kif 2995-2995 importPartner est une instance de relation irr�flexive

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 2297-2301
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
        (not
            (?REL ?INST ?INST))))
Merge.kif 2265-2269

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


(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2291-2295


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