Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntransitiveRelation
IntransitiveRelation(intransitive relation)

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


s__documentation(s__IntransitiveRelation,s__ChineseLanguage,'"野葛 BinaryRelation ?REL 是非传递关系 除非所有的 ?INST1, ?INST2 和 ?INST3 是 (?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?INST3)不意味着 (?REL ?INST1 ?INST3)。"')

chinese_format.kif 1851-1853
s__documentation(s__IntransitiveRelation,s__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 2292-2294
s__instance(s__IntransitiveRelation,s__Class)

s__instance(s__BinaryRelation,s__Class)

s__subclass(s__IntransitiveRelation,s__BinaryRelation)

Merge.kif 2290-2290 Intransitive relation is a subclass of binary relation

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


s__disjoint(s__TransitiveRelation,s__IntransitiveRelation)

Merge.kif 2275-2275 Transitive relation is disjoint from intransitive relation
s__instance(s__IntransitiveRelation,s__Class)

s__instance(s__immediateInstance__m,s__IntransitiveRelation)

Merge.kif 91-91 immediate instance is an instance of intransitive relation
s__instance(s__immediateSubclass__m,s__IntransitiveRelation)

s__instance(s__IntransitiveRelation,s__Class)

Merge.kif 149-149 immediate subclass is an instance of intransitive relation
s__instance(s__inverse__m,s__IntransitiveRelation)

s__instance(s__IntransitiveRelation,s__Class)

Merge.kif 106-106 inverse is an instance of intransitive relation
s__instance(s__meetsTemporally__m,s__IntransitiveRelation)

s__instance(s__IntransitiveRelation,s__Class)

Merge.kif 7997-7997 meets temporally is an instance of intransitive relation
s__instance(s__IntransitiveRelation,s__Class)

s__instance(s__member__m,s__IntransitiveRelation)

Merge.kif 1205-1205 member is an instance of intransitive relation
s__instance(s__IntransitiveRelation,s__Class)

s__instance(s__parent__m,s__IntransitiveRelation)

Merge.kif 15704-15704 parent is an instance of intransitive relation
s__instance(s__IntransitiveRelation,s__Class)

s__instance(s__penetrates__m,s__IntransitiveRelation)

Merge.kif 4105-4105 penetrates is an instance of intransitive relation
s__termFormat(s__ChineseLanguage,s__IntransitiveRelation,'"非传递关系"')

chinese_format.kif 900-900
s__termFormat(s__EnglishLanguage,s__IntransitiveRelation,'"intransitive relation"')

english_format.kif 1007-1007

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


(s__instance(s__parent__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Organism) &
             s__instance(V__INST2,s__Organism) &
             s__instance(V__INST3,s__Organism))
           =>
           (((s__parent(V__INST1,V__INST2)
               &
               s__parent(V__INST2,V__INST3))
           =>
           (~(s__parent(V__INST1,V__INST3))))))))))

(s__instance(s__son__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Organism) &
             s__instance(V__INST2,s__Organism) &
             s__instance(V__INST3,s__Organism))
           =>
           (((s__son(V__INST1,V__INST2)
               &
               s__son(V__INST2,V__INST3))
           =>
           (~(s__son(V__INST1,V__INST3))))))))))

(s__instance(s__inverse__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__BinaryRelation) &
             s__instance(V__INST2,s__BinaryRelation) &
             s__instance(V__INST3,s__BinaryRelation))
           =>
           (((s__inverse(V__INST1,V__INST2)
               &
               s__inverse(V__INST2,V__INST3))
           =>
           (~(s__inverse(V__INST1,V__INST3))))))))))

(s__instance(s__immediateSubclass__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Class) &
             s__instance(V__INST2,s__Class) &
             s__instance(V__INST3,s__Class))
           =>
           (((s__immediateSubclass(V__INST1,V__INST2)
               &
               s__immediateSubclass(V__INST2,V__INST3))
           =>
           (~(s__immediateSubclass(V__INST1,V__INST3))))))))))

(s__instance(s__penetrates__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Object) &
             s__instance(V__INST2,s__Object))
           =>
           (((s__penetrates(V__INST1,V__INST2)
               &
               s__penetrates(V__INST2,V__INST3))
           =>
           (~(s__penetrates(V__INST1,V__INST3))))))))))

(s__instance(s__meetsTemporally__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__TimeInterval) &
             s__instance(V__INST2,s__TimeInterval) &
             s__instance(V__INST3,s__TimeInterval))
           =>
           (((s__meetsTemporally(V__INST1,V__INST2)
               &
               s__meetsTemporally(V__INST2,V__INST3))
           =>
           (~(s__meetsTemporally(V__INST1,V__INST3))))))))))

(s__instance(s__groupMember__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Human) &
             s__instance(V__INST2,s__Human) &
             s__instance(V__INST2,s__GroupOfPeople) &
             s__instance(V__INST3,s__GroupOfPeople))
           =>
           (((s__groupMember(V__INST1,V__INST2)
               &
               s__groupMember(V__INST2,V__INST3))
           =>
           (~(s__groupMember(V__INST1,V__INST3))))))))))

(s__instance(s__immediateInstance__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__immediateInstance(V__INST1,V__INST2)
           &
           s__immediateInstance(V__INST2,V__INST3))
       =>
       (~(s__immediateInstance(V__INST1,V__INST3))))))))

(s__instance(s__associateInOrganization__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Agent) &
             s__instance(V__INST2,s__Group) &
             s__instance(V__INST3,s__Group))
           =>
           (((s__associateInOrganization(V__INST1,V__INST2)
               &
               s__associateInOrganization(V__INST2,V__INST3))
           =>
           (~(s__associateInOrganization(V__INST1,V__INST3))))))))))

(s__instance(s__daughter__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Organism) &
             s__instance(V__INST2,s__Organism) &
             s__instance(V__INST3,s__Organism))
           =>
           (((s__daughter(V__INST1,V__INST2)
               &
               s__daughter(V__INST2,V__INST3))
           =>
           (~(s__daughter(V__INST1,V__INST3))))))))))

(s__instance(s__student__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Human) &
             s__instance(V__INST2,s__EducationalOrganization) &
             s__instance(V__INST2,s__Human) &
             s__instance(V__INST3,s__EducationalOrganization))
           =>
           (((s__student(V__INST1,V__INST2)
               &
               s__student(V__INST2,V__INST3))
           =>
           (~(s__student(V__INST1,V__INST3))))))))))

(s__instance(s__teacher__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Human) &
             s__instance(V__INST2,s__EducationalOrganization) &
             s__instance(V__INST2,s__Human) &
             s__instance(V__INST3,s__EducationalOrganization))
           =>
           (((s__teacher(V__INST1,V__INST2)
               &
               s__teacher(V__INST2,V__INST3))
           =>
           (~(s__teacher(V__INST1,V__INST3))))))))))

(s__instance(s__member__m,s__IntransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Physical) &
             s__instance(V__INST2,s__Collection) &
             s__instance(V__INST3,s__Collection))
           =>
           (((s__member(V__INST1,V__INST2)
               &
               s__member(V__INST2,V__INST3))
           =>
           (~(s__member(V__INST1,V__INST3))))))))))

Merge.kif 2296-2304


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