maximumPayloadHeightWidth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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	域最大有效負載高度寬度, 1 and 車輛
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 110-110	域最大有效負載高度寬度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 111-111	域最大有效負載高度寬度, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 106-106	例最大有效負載高度寬度 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 107-107	例最大有效負載高度寬度 and TotalValuedRelation

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	測量 RealNumber and UnitOfMeasure 是車輛的 maximum 有效附載容量車輛對於測量 RealNumber and UnitOfMeasure 的 maximum 有效附載高度測量 RealNumber and UnitOfMeasure 例 SelfConnectedObject and SelfConnectedObject 測量 RealNumber and RealNumberU 是 SelfConnectedObject 的 weight 寬度 SelfConnectedObject and 測量 RealNumber and RealNumberU 高度 SelfConnectedObject and 測量 RealNumber and RealNumberU 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 能力卡帕 SymbolicString and 例 SymbolicString and Transportation 患者 SymbolicString and SelfConnectedObject, 儀器 and 車輛
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 121-138	車輛對於測量 RealNumber and UnitOfMeasure 的 maximum 有效附載高度測量 RealNumber and UnitOfMeasure Process SelfConnectedObject, RealNumber, RealNumberU, RealNumber and RealNumberU 例 Process and Transportation 儀器 Process and 車輛患者 Process and SelfConnectedObject 寬度 SelfConnectedObject and 測量 RealNumber and RealNumberU 高度 SelfConnectedObject and 測量 RealNumber and RealNumberU 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber

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