TreeView Knowledge Base Browser - Length

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Length

Length(length)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 76-76
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31073-31074
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31072-31072	Length is an instance of measurement attribute
No TPTP formula. May not be expressible in strict first order.	engineering.kif 77-77	Length is an instance of physical dimension

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33959-33959
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33958-33958
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33957-33957

antecedent

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

Mid-level-ontology.kif 31077-31082

If members of a class have the measure a length measure in terms of length and the class is an instance of class and a physical is an instance of the class,
then the length of the physical is the length 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