TreeView Knowledge Base Browser - hasDimension

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - hasDimension

hasDimension

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 295-295
No TPTP formula. May not be expressible in strict first order.	engineering.kif 299-299	The number 1 argument of has dimension is an instance of multipole quantity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 300-300	The number 2 argument of has dimension is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order.	engineering.kif 297-297	has dimension is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	engineering.kif 296-296	has dimension is an instance of single valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 298-298
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27516-27516
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27515-27515
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27514-27514

antecedent

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

engineering.kif 415-424

If a multipole pole has a multipole variable as an across variable and the multipole pole has another multipole variable as a through variable and a multipole quantity has variable the multipole variable and another multipole quantity has variable the other multipole variable and the multipole quantity has dimension a physical dimension and the other multipole quantity has dimension another physical dimension,
then there exists a physical domain such that the physical dimension and the other physical dimension form physical domain the physical domain

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