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 2245-2246
(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 2243-2243

appearance as argument number 2

(instance ancestor IrreflexiveRelation)	Merge.kif 16439-16439
(instance ancestorOrganization IrreflexiveRelation)	Mid-level-ontology.kif 25114-25114
(instance antagonistMuscles IrreflexiveRelation)	Mid-level-ontology.kif 11484-11484
(instance attribute IrreflexiveRelation)	Merge.kif 1709-1709
(instance before IrreflexiveRelation)	Merge.kif 8135-8135
(instance brother IrreflexiveRelation)	Merge.kif 16592-16592
(instance classmate IrreflexiveRelation)	Mid-level-ontology.kif 17665-17665
(instance colleague IrreflexiveRelation)	Mid-level-ontology.kif 17686-17686
(instance conjugate IrreflexiveRelation)	Mid-level-ontology.kif 6967-6967
(instance connectedEngineeringComponents IrreflexiveRelation)	Merge.kif 16186-16186
(instance customer IrreflexiveRelation)	Mid-level-ontology.kif 8411-8411
(instance decreasesLikelihood IrreflexiveRelation)	Merge.kif 2609-2609
(instance diplomaticRelations IrreflexiveRelation)	Government.kif 4506-4506
(instance disjointRelation IrreflexiveRelation)	Merge.kif 403-403
(instance during IrreflexiveRelation)	Merge.kif 8345-8345
(instance earlier IrreflexiveRelation)	Merge.kif 8407-8407
(instance exportPartner IrreflexiveRelation)	Economy.kif 2485-2485
(instance finishes IrreflexiveRelation)	Merge.kif 8105-8105
(instance graphPart IrreflexiveRelation)	Merge.kif 5874-5874
(instance greaterThan IrreflexiveRelation)	Merge.kif 1838-1838
(instance hindersSubclass IrreflexiveRelation)	Merge.kif 4299-4299
(instance hostileForces IrreflexiveRelation)	Mid-level-ontology.kif 9122-9122
(instance husband IrreflexiveRelation)	Merge.kif 16662-16662
(instance importPartner IrreflexiveRelation)	Economy.kif 2873-2873
(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2589-2589

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 2280-2284
(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (?REL ?INST ?INST))))	Merge.kif 2248-2252

consequent

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

Merge.kif 2274-2278

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: