TreeView Knowledge Base Browser - maximumPayloadHeightWidth

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

maximumPayloadHeightWidth

Sigma KEE - maximumPayloadHeightWidth

maximumPayloadHeightWidth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 113-117
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 109-109	O argumento numero 1 de maximumPayloadHeightWidth e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 110-110	O argumento numero 2 de maximumPayloadHeightWidth e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 111-111	O argumento numero 3 de maximumPayloadHeightWidth e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 106-106	maximumPayloadHeightWidth e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 107-107	maximumPayloadHeightWidth e' uma instancia de Relacao Total

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1651-1651
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1650-1650
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2035-2035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1649-1649
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36605-36605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36604-36604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36603-36603

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	maximumPayloadCapacity Vehicle and Numero Real Unidade de Medida(s) maximumPayloadHeightWidth Vehicle, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Objeto auto-conectado e' uma instancia de Objeto auto-conectado weight Objeto auto-conectado and Numero Real Numero RealU(s) a largura de Objeto auto-conectado e' Numero Real Numero RealU(s) a altura de Objeto auto-conectado e' Numero Real Numero RealU(s) Numero RealU e' igual a Unidade de Medida Numero RealU e' igual a Unidade de Medida Numero RealU e' igual a Unidade de Medida Numero Real e' menor ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Vehicle e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 121-138	maximumPayloadHeightWidth Vehicle, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Processo Objeto auto-conectado, Numero Real, Numero RealU, Numero Real and Numero RealU Processo e' uma instancia de Transporte Vehicle e' um instrumento para Processo Objeto auto-conectado e' um patient de Processo a largura de Objeto auto-conectado e' Numero Real Numero RealU(s) a altura de Objeto auto-conectado e' Numero Real Numero RealU(s) Numero RealU e' igual a Unidade de Medida Numero RealU e' igual a Unidade de Medida Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real

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