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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - typicallyContainsTemporalPart
typicallyContainsTemporalPart

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


s__documentation(s__typicallyContainsTemporalPart__m,s__EnglishLanguage,'"An instance of the second argument typically contains an instance of the first argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes."')

Cars.kif 1474-1477
s__domainSubclass(s__typicallyContainsTemporalPart__m,n__1,s__Process)

Cars.kif 1478-1478 The number 1 argument of typicallyContainsTemporalPart is a subclass of process
s__domainSubclass(s__typicallyContainsTemporalPart__m,n__2,s__Process)

Cars.kif 1479-1479 The number 2 argument of typicallyContainsTemporalPart is a subclass of process
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__typicallyContainsTemporalPart__m,s__BinaryPredicate)

Cars.kif 1468-1468 typicallyContainsTemporalPart is an instance of binary predicate
s__instance(s__typicallyContainsTemporalPart__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__SetOrClass)

Cars.kif 1469-1469 typicallyContainsTemporalPart is an instance of temporal relation
s__relatedInternalConcept(s__typicallyContainsTemporalPart__m,s__temporalPart__m)

Cars.kif 1471-1471 typicallyContainsTemporalPart is internally related to temporal part
s__relatedInternalConcept(s__typicallyContainsTemporalPart__m,s__typicallyContainsPart__m)

Cars.kif 1470-1470 typicallyContainsTemporalPart is internally related to typically contains part

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


s__format(s__EnglishLanguage,s__typicallyContainsTemporalPart__m,'"a %2 typically contains a %1"')

Cars.kif 1473-1473
s__relatedInternalConcept(s__typicalAction__m,s__typicallyContainsTemporalPart__m)

Mid-level-ontology.kif 20709-20709 typicalAction is internally related to typicallyContainsTemporalPart

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1489-1506
( ! [V__WHOLE,V__PART] :
   ((s__instance(V__WHOLE,s__SetOrClass) &
       s__subclass(V__WHOLE,s__Process) &
       s__instance(V__PART,s__SetOrClass) &
       s__subclass(V__PART,s__Process))
     =>
     s__typicallyContainsTemporalPart(V__PART,V__WHOLE)
   =>
   ( ? [V__X, V__Y] :
     ((s__instance(V__X,s__TimePosition) &
         s__instance(V__Y,s__TimePosition) &
         (s__instance(V__X,V__WHOLE)
         &
         s__instance(V__Y,V__PART)
       &
       s__temporalPart(V__Y,V__X)))))
)
)

Cars.kif 1481-1487


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners