TreeView Knowledge Base Browser - TimeMeasure

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TimeMeasure

TimeMeasure(time measure)

bimillenial, span, temporal, time

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1779-1780
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2069-2071
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 391-393
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2067-2067	Time measure is a subclass of constant quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2073-2073	Time duration is a subclass of time measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2078-2078	Time position is a subclass of time measure
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 877-877
No TPTP formula. May not be expressible in strict first order.	english_format.kif 956-956
No TPTP formula. May not be expressible in strict first order.	french_format.kif 553-553
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 83-83
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 86-86
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2238-2238
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 505-505
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 88-88
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 120-120
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 574-574
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 87-87

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 2886-2892

If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of clock,
then the entity is an instance of time measure

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