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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1473-1476
No TPTP formula. May not be expressible in strict first order. Cars.kif 1477-1477 The number 1 argument of typicallyContainsTemporalPart is a subclass of process
No TPTP formula. May not be expressible in strict first order. Cars.kif 1478-1478 The number 2 argument of typicallyContainsTemporalPart is a subclass of process
No TPTP formula. May not be expressible in strict first order. Cars.kif 1467-1467 typicallyContainsTemporalPart is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Cars.kif 1468-1468 typicallyContainsTemporalPart is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Cars.kif 1470-1470 typicallyContainsTemporalPart is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Cars.kif 1469-1469 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 1472-1472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20697-20697 typicalAction is internally related to typicallyContainsTemporalPart

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1488-1505
No TPTP formula. May not be expressible in strict first order. Cars.kif 1480-1486


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