typicalTemporalPart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - typicalTemporalPart

typicalTemporalPart

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1438-1441
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1442-1442	The number 1 argument of typical temporal part is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1443-1443	The number 2 argument of typical temporal part is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1431-1431	typical temporal part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1432-1432	typical temporal part is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1433-1433	typical temporal part is internally related to temporal part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1434-1434	typical temporal part is internally related to typical part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1436-1436
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65962-65962

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1453-1470	If a a kind of process is typically a part of a another kind of process and an entity is an instance of a kind of process and the kind of processPROB is equal to the probability of there exists another entity such that the other entity is an instance of another kind of process and the entity is a part of the other entity and another real number is equal to the probability of there doesn't exist a third entity such that the third entity is an instance of the other kind of process and the entity is a part of the third entity, then the kind of processPROB is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1445-1451	If a a kind of process is typically a part of a another kind of process, then there exist a time position and another time position such that the time position is an instance of another kind of process and the other time position is an instance of a kind of process and the other time position is a part of the time position

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