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 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	Irreflexive relation is a subclass of binary relation

appearance as argument number 2

(instance ancestor IrreflexiveRelation)	Merge.kif 16522-16522	ancestor is an instance of irreflexive relation
(instance ancestorOrganization IrreflexiveRelation)	Mid-level-ontology.kif 25812-25812	ancestor organization is an instance of irreflexive relation
(instance antagonistMuscles IrreflexiveRelation)	Mid-level-ontology.kif 11991-11991	antagonist muscles is an instance of irreflexive relation
(instance attribute IrreflexiveRelation)	Merge.kif 1726-1726	attribute is an instance of irreflexive relation
(instance before IrreflexiveRelation)	Merge.kif 8210-8210	before is an instance of irreflexive relation
(instance brother IrreflexiveRelation)	Merge.kif 16675-16675	brother is an instance of irreflexive relation
(instance classmate IrreflexiveRelation)	Mid-level-ontology.kif 18196-18196	classmate is an instance of irreflexive relation
(instance colleague IrreflexiveRelation)	Mid-level-ontology.kif 18217-18217	colleague is an instance of irreflexive relation
(instance conjugate IrreflexiveRelation)	Mid-level-ontology.kif 7428-7428	conjugate is an instance of irreflexive relation
(instance connectedEngineeringComponents IrreflexiveRelation)	Merge.kif 16269-16269	connected engineering components is an instance of irreflexive relation
(instance customer IrreflexiveRelation)	Mid-level-ontology.kif 8878-8878	customer is an instance of irreflexive relation
(instance decreasesLikelihood IrreflexiveRelation)	Merge.kif 2626-2626	decreases likelihood is an instance of irreflexive relation
(instance diplomaticRelations IrreflexiveRelation)	Government.kif 4505-4505	diplomatic relations is an instance of irreflexive relation
(instance disjointRelation IrreflexiveRelation)	Merge.kif 403-403	disjoint relation is an instance of irreflexive relation
(instance during IrreflexiveRelation)	Merge.kif 8420-8420	during is an instance of irreflexive relation
(instance earlier IrreflexiveRelation)	Merge.kif 8482-8482	earlier is an instance of irreflexive relation
(instance exportPartner IrreflexiveRelation)	Economy.kif 2610-2610	export partner is an instance of irreflexive relation
(instance finishes IrreflexiveRelation)	Merge.kif 8152-8152	finishes is an instance of irreflexive relation
(instance finishesDuring IrreflexiveRelation)	Merge.kif 8187-8187	finishes during is an instance of irreflexive relation
(instance graphPart IrreflexiveRelation)	Merge.kif 5912-5912	graph part is an instance of irreflexive relation
(instance greaterThan IrreflexiveRelation)	Merge.kif 1855-1855	greater than is an instance of irreflexive relation
(instance hindersSubclass IrreflexiveRelation)	Merge.kif 4335-4335	hinders subclass is an instance of irreflexive relation
(instance hostileForces IrreflexiveRelation)	Mid-level-ontology.kif 9628-9628	hostile forces is an instance of irreflexive relation
(instance husband IrreflexiveRelation)	Merge.kif 16745-16745	husband is an instance of irreflexive relation
(instance importPartner IrreflexiveRelation)	Economy.kif 2995-2995	import partner is an instance of irreflexive relation

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	If an entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation, then the entity is an instance of asymmetric relation
(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (?REL ?INST ?INST))))	Merge.kif 2265-2269	If an entity is an instance of irreflexive relation, then for all another entity the entity the other entity and the other entity

consequent

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

Merge.kif 2291-2295

If an entity is an instance of asymmetric relation,
then the entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation

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: