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

appearance as argument number 2

(instance ancestor IrreflexiveRelation)	Merge.kif 16418-16418	ancestor is an instance of irreflexive relation
(instance ancestorOrganization IrreflexiveRelation)	Mid-level-ontology.kif 24454-24454	ancestor organization is an instance of irreflexive relation
(instance antagonistMuscles IrreflexiveRelation)	Mid-level-ontology.kif 10878-10878	antagonist muscles is an instance of irreflexive relation
(instance attribute IrreflexiveRelation)	Merge.kif 1716-1716	attribute is an instance of irreflexive relation
(instance before IrreflexiveRelation)	Merge.kif 8133-8133	before is an instance of irreflexive relation
(instance brother IrreflexiveRelation)	Merge.kif 16571-16571	brother is an instance of irreflexive relation
(instance classmate IrreflexiveRelation)	Mid-level-ontology.kif 17027-17027	classmate is an instance of irreflexive relation
(instance colleague IrreflexiveRelation)	Mid-level-ontology.kif 17048-17048	colleague is an instance of irreflexive relation
(instance conjugate IrreflexiveRelation)	Mid-level-ontology.kif 6485-6485	conjugate is an instance of irreflexive relation
(instance connectedEngineeringComponents IrreflexiveRelation)	Merge.kif 16165-16165	connected engineering components is an instance of irreflexive relation
(instance customer IrreflexiveRelation)	Mid-level-ontology.kif 7929-7929	customer is an instance of irreflexive relation
(instance decreasesLikelihood IrreflexiveRelation)	Merge.kif 2615-2615	decreases likelihood is an instance of irreflexive relation
(instance diplomaticRelations IrreflexiveRelation)	Government.kif 4508-4508	diplomatic relations is an instance of irreflexive relation
(instance disjointRelation IrreflexiveRelation)	Merge.kif 410-410	disjoint relation is an instance of irreflexive relation
(instance during IrreflexiveRelation)	Merge.kif 8343-8343	during is an instance of irreflexive relation
(instance earlier IrreflexiveRelation)	Merge.kif 8405-8405	earlier is an instance of irreflexive relation
(instance exportPartner IrreflexiveRelation)	Economy.kif 2370-2370	export partner is an instance of irreflexive relation
(instance finishes IrreflexiveRelation)	Merge.kif 8103-8103	finishes is an instance of irreflexive relation
(instance graphPart IrreflexiveRelation)	Merge.kif 5888-5888	graph part is an instance of irreflexive relation
(instance greaterThan IrreflexiveRelation)	Merge.kif 1845-1845	greater than is an instance of irreflexive relation
(instance hinders IrreflexiveRelation)	Merge.kif 4390-4390	hinders is an instance of irreflexive relation
(instance hindersSubclass IrreflexiveRelation)	Merge.kif 4308-4308	hinders subclass is an instance of irreflexive relation
(instance hostileForces IrreflexiveRelation)	Mid-level-ontology.kif 8640-8640	hostile forces is an instance of irreflexive relation
(instance husband IrreflexiveRelation)	Merge.kif 16641-16641	husband is an instance of irreflexive relation
(instance importPartner IrreflexiveRelation)	Economy.kif 2658-2658	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 2286-2290	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 2254-2258	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 2280-2284

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 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: