Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  IntransitiveRelation

 Sigma KEE - IntransitiveRelation
IntransitiveRelation(intransitive relation)

appearance as argument number 1
-------------------------


(subclass IntransitiveRelation BinaryRelation) Merge.kif 2459-2459 Intransitive relation is a subclass of binary relation
(documentation IntransitiveRelation EnglishLanguage "A BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.") Merge.kif 2461-2463 Intransitive relation is a subclass of binary relation

appearance as argument number 2
-------------------------


(instance immediateInstance IntransitiveRelation) Merge.kif 93-93 immediate instance is an instance of intransitive relation
(instance inverse IntransitiveRelation) Merge.kif 108-108 inverse is an instance of intransitive relation
(instance immediateSubclass IntransitiveRelation) Merge.kif 145-145 immediate subclass is an instance of intransitive relation
(instance member IntransitiveRelation) Merge.kif 1352-1352 member is an instance of intransitive relation
(disjoint TransitiveRelation IntransitiveRelation) Merge.kif 2444-2444 Transitive relation is disjoint from intransitive relation
(instance penetrates IntransitiveRelation) Merge.kif 4323-4323 penetrates is an instance of intransitive relation
(instance meetsTemporally IntransitiveRelation) Merge.kif 8526-8526 meets temporally is an instance of intransitive relation
(instance parent IntransitiveRelation) Merge.kif 16722-16722 parent is an instance of intransitive relation
(termFormat EnglishLanguage IntransitiveRelation "intransitive relation") english_format.kif 1011-1011 parent is an instance of intransitive relation

antecedent
-------------------------


(=>
    (instance ?REL IntransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
        (=>
            (and
                (?REL ?INST1 ?INST2)
                (?REL ?INST2 ?INST3))
            (not
                (?REL ?INST1 ?INST3)))))		 Merge.kif 2465-2473 If X is an instance of intransitive relation, then For all Entities Y, Z, and W: if X Y and Z and X Z and W, then X Y and W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners