Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysicalDimension
PhysicalDimension(physical dimension)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 70-71
No TPTP formula. May not be expressible in strict first order. engineering.kif 72-72
No TPTP formula. May not be expressible in strict first order. engineering.kif 73-73 Physical dimension is a subclass of quantity

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 85-85 Angular velocity is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 94-94 Current is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 107-107 Dimensionless is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 82-82 Force is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 76-76 Length is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 103-103 Power is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 97-97 Pressure is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 88-88 Torque is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 79-79 Velocity is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 91-91 Voltage is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 100-100 Volume flow is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45709-45709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45708-45708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45707-45707

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 299-299 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 277-277 The number 1 argument of physicalDomain is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 278-278 The number 2 argument of physicalDomain is an instance of physical dimension


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