TreeView Knowledge Base Browser - maximumPayloadCapacity

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

maximumPayloadCapacity

Sigma KEE - maximumPayloadCapacity

maximumPayloadCapacity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 84-88
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 81-81	The number 1 argument of maximum payload capacity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 82-82	The number 2 argument of maximum payload capacity is an instance of mass measure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 78-78	maximum payload capacity is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 79-79	maximum payload capacity is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1647-1647
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1646-1646
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2034-2034
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1645-1645
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36599-36599
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36598-36598
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36597-36597

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and the fourth real numberU is equal to the unit of measure and the fifth real numberU is equal to the third unit of measure and the sixth real numberU is equal to the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the vehicle is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 92-104	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle, then there don't exist a process, a self connected object,, , another real number and the other real numberU such that the process is an instance of transportation and the vehicle is an instrument for the process and the self connected object is a patient of the process and the other real number the other real numberU(s) is a weight of the self connected object and the other real numberU is equal to the unit of measure and the other real number is greater than the real number

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1882-1887	If a passenger vehicle is an instance of C h46 d, then 25 is a person transport capability of the passenger vehicle and 3131.0 kilogram(s) is a maximum payload capacity of the passenger vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1812-1817	If a passenger vehicle is an instance of C h53 e, then 55 is a person transport capability of the passenger vehicle and 14515.0 kilogram(s) is a maximum payload capacity of the passenger vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1992-1995	If a vehicle is an instance of LCAC, then 60.0 ton mass(s) is a maximum payload capacity of the vehicle

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