IrreflexiveRelation - Sigma Knowledge base Browser

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 2247-2248
(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 2245-2245

appearance as argument number 2

(instance ancestor IrreflexiveRelation)	Merge.kif 16507-16507
(instance ancestorOrganization IrreflexiveRelation)	Mid-level-ontology.kif 25831-25831
(instance antagonistMuscles IrreflexiveRelation)	Mid-level-ontology.kif 12009-12009
(instance attribute IrreflexiveRelation)	Merge.kif 1711-1711
(instance before IrreflexiveRelation)	Merge.kif 8195-8195
(instance brother IrreflexiveRelation)	Merge.kif 16660-16660
(instance classmate IrreflexiveRelation)	Mid-level-ontology.kif 18216-18216
(instance colleague IrreflexiveRelation)	Mid-level-ontology.kif 18237-18237
(instance conjugate IrreflexiveRelation)	Mid-level-ontology.kif 7447-7447
(instance connectedEngineeringComponents IrreflexiveRelation)	Merge.kif 16254-16254
(instance customer IrreflexiveRelation)	Mid-level-ontology.kif 8897-8897
(instance decreasesLikelihood IrreflexiveRelation)	Merge.kif 2611-2611
(instance diplomaticRelations IrreflexiveRelation)	Government.kif 4505-4505
(instance disjointRelation IrreflexiveRelation)	Merge.kif 403-403
(instance during IrreflexiveRelation)	Merge.kif 8405-8405
(instance earlier IrreflexiveRelation)	Merge.kif 8467-8467
(instance exportPartner IrreflexiveRelation)	Economy.kif 2610-2610
(instance finishes IrreflexiveRelation)	Merge.kif 8137-8137
(instance finishesDuring IrreflexiveRelation)	Merge.kif 8172-8172
(instance graphPart IrreflexiveRelation)	Merge.kif 5897-5897
(instance greaterThan IrreflexiveRelation)	Merge.kif 1840-1840
(instance hindersSubclass IrreflexiveRelation)	Merge.kif 4320-4320
(instance hostileForces IrreflexiveRelation)	Mid-level-ontology.kif 9646-9646
(instance husband IrreflexiveRelation)	Merge.kif 16730-16730
(instance importPartner IrreflexiveRelation)	Economy.kif 2995-2995

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

consequent

(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))

Merge.kif 2276-2280

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

KB Term:			Term intersection

English Word: