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

Formal Language: 



KB Term:  Term intersection
English Word: 

  typicallyContainsTemporalPart

Sigma KEE - typicallyContainsTemporalPart
typicallyContainsTemporalPart

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1474-1477
No TPTP formula. May not be expressible in strict first order. Cars.kif 1478-1478 The number 1 argument of typicallyContainsTemporalPart is a subclass of process
No TPTP formula. May not be expressible in strict first order. Cars.kif 1479-1479 The number 2 argument of typicallyContainsTemporalPart is a subclass of process
No TPTP formula. May not be expressible in strict first order. Cars.kif 1468-1468 typicallyContainsTemporalPart is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Cars.kif 1469-1469 typicallyContainsTemporalPart is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Cars.kif 1471-1471 typicallyContainsTemporalPart is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Cars.kif 1470-1470 typicallyContainsTemporalPart is internally related to typically contains part

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1473-1473
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20740-20740 typicalAction is internally related to typicallyContainsTemporalPart

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1489-1506
No TPTP formula. May not be expressible in strict first order. Cars.kif 1481-1487


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