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 71-72
No TPTP formula. May not be expressible in strict first order. engineering.kif 73-73
No TPTP formula. May not be expressible in strict first order. engineering.kif 74-74 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 86-86 Angular velocity is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 95-95 Current is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 108-108 Dimensionless is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 83-83 Force is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 77-77 Length is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 104-104 Power is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 98-98 Pressure is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 89-89 Torque is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 80-80 Velocity is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 92-92 Voltage is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. engineering.kif 101-101 Volume flow is an instance of physical dimension
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45726-45726
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45725-45725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45724-45724

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


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