TreeView Knowledge Base Browser - personTransportCapability

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

personTransportCapability

Sigma KEE - personTransportCapability

personTransportCapability

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 74-76
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 71-71	The number 1 argument of person transport capability is an instance of passenger vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 72-72	The number 2 argument of person transport capability is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 68-68	person transport capability is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 69-69	person transport capability 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 1955-1955
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1954-1954
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2033-2033
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1953-1953
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45344-45344
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45343-45343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45342-45342

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1686-1688	If a passenger vehicle is an instance of Amphibious Assault Vehicle, then 25 is a person transport capability of the passenger vehicle
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 1566-1568	If a passenger vehicle is an instance of LAV25, then 4 is a person transport capability of the passenger vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1986-1988	If a passenger vehicle is an instance of LCAC, then 24 is a person transport capability of the passenger 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