Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PassengerVehicle

 Sigma KEE - PassengerVehicle
PassengerVehicle
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1743-1746
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6754-6754
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7500-7500
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7502-7502
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7503-7503
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7504-7504
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7506-7506
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1742-1742 PassengerVehicle e' uma sub-classe de Vehicle

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1648-1648 AAV e' uma sub-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1572-1572 APC e' uma sub-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1948-1948 Automobile e' uma sub-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1967-1967 Bus e' uma sub-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1829-1829 CH46D e' uma sub-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1768-1768 CH53E e' uma sub-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1946-1946 LCAC e' uma sub-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2123-2123 PassengerRailcar e' uma sub-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44706-44706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44705-44705
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44704-44704

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 71-71 O argumento numero 1 de personTransportCapability e' uma instancia de PassengerVehicle

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1748-1758


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