TreeView Knowledge Base Browser - 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 ist eine teilkategorie von BinaryRelation

appearance as argument number 2

(instance ancestor IrreflexiveRelation)	Merge.kif 16347-16347	ancestor ist ein fall von IrreflexiveRelation %n{nicht}
(instance ancestorOrganization IrreflexiveRelation)	Mid-level-ontology.kif 24166-24166	ancestorOrganization ist ein fall von IrreflexiveRelation %n{nicht}
(instance antagonistMuscles IrreflexiveRelation)	Mid-level-ontology.kif 10660-10660	antagonistMuscles ist ein fall von IrreflexiveRelation %n{nicht}
(instance attribute IrreflexiveRelation)	Merge.kif 1716-1716	attribut ist ein fall von IrreflexiveRelation %n{nicht}
(instance before IrreflexiveRelation)	Merge.kif 8097-8097	before ist ein fall von IrreflexiveRelation %n{nicht}
(instance brother IrreflexiveRelation)	Merge.kif 16500-16500	brother ist ein fall von IrreflexiveRelation %n{nicht}
(instance classmate IrreflexiveRelation)	Mid-level-ontology.kif 16809-16809	classmate ist ein fall von IrreflexiveRelation %n{nicht}
(instance colleague IrreflexiveRelation)	Mid-level-ontology.kif 16830-16830	colleague ist ein fall von IrreflexiveRelation %n{nicht}
(instance conjugate IrreflexiveRelation)	Mid-level-ontology.kif 6491-6491	conjugate ist ein fall von IrreflexiveRelation %n{nicht}
(instance connectedEngineeringComponents IrreflexiveRelation)	Merge.kif 16093-16093	connectedEngineeringComponents ist ein fall von IrreflexiveRelation %n{nicht}
(instance customer IrreflexiveRelation)	Mid-level-ontology.kif 7711-7711	customer ist ein fall von IrreflexiveRelation %n{nicht}
(instance decreasesLikelihood IrreflexiveRelation)	Merge.kif 2615-2615	verringertWahrscheinlichkeit ist ein fall von IrreflexiveRelation %n{nicht}
(instance diplomaticRelations IrreflexiveRelation)	Government.kif 4544-4544	diplomaticRelations ist ein fall von IrreflexiveRelation %n{nicht}
(instance disjointRelation IrreflexiveRelation)	Merge.kif 410-410	disjunkteRelation ist ein fall von IrreflexiveRelation %n{nicht}
(instance during IrreflexiveRelation)	Merge.kif 8307-8307	during ist ein fall von IrreflexiveRelation %n{nicht}
(instance earlier IrreflexiveRelation)	Merge.kif 8369-8369	earlier ist ein fall von IrreflexiveRelation %n{nicht}
(instance exportPartner IrreflexiveRelation)	Economy.kif 2370-2370	exportPartner ist ein fall von IrreflexiveRelation %n{nicht}
(instance finishes IrreflexiveRelation)	Merge.kif 8067-8067	finishes ist ein fall von IrreflexiveRelation %n{nicht}
(instance graphPart IrreflexiveRelation)	Merge.kif 5887-5887	graphPart ist ein fall von IrreflexiveRelation %n{nicht}
(instance greaterThan IrreflexiveRelation)	Merge.kif 1845-1845	groesserAls ist ein fall von IrreflexiveRelation %n{nicht}
(instance hinders IrreflexiveRelation)	Merge.kif 4389-4389	hinders ist ein fall von IrreflexiveRelation %n{nicht}
(instance hindersSubclass IrreflexiveRelation)	Merge.kif 4307-4307	hindersSubclass ist ein fall von IrreflexiveRelation %n{nicht}
(instance hostileForces IrreflexiveRelation)	Mid-level-ontology.kif 8422-8422	hostileForces ist ein fall von IrreflexiveRelation %n{nicht}
(instance husband IrreflexiveRelation)	Merge.kif 16570-16570	husband ist ein fall von IrreflexiveRelation %n{nicht}
(instance importPartner IrreflexiveRelation)	Economy.kif 2658-2658	importPartner ist ein fall von IrreflexiveRelation %n{nicht}

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	Wenn Entity ist ein fall von AntisymmetricRelation %n{nicht} und Entity ist ein fall von IrreflexiveRelation %n{nicht}, dann Entity ist ein fall von AsymmetricRelation %n{nicht}
(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (?REL ?INST ?INST))))	Merge.kif 2254-2258	Wenn Entity ist ein fall von IrreflexiveRelation %n{nicht}, dann fuer alle entity Entity entity and entity

consequent

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

Merge.kif 2280-2284

Wenn Entity ist ein fall von AsymmetricRelation %n{nicht},
dann ** Entity ist ein fall von AntisymmetricRelation %n{nicht} und ** Entity ist ein fall von IrreflexiveRelation %n{nicht}

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

KB Term:			Term intersection

English Word: