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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoweredVehicle
PoweredVehicle

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1797-1797 PoweredVehicle e' disjunto de UnpoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1794-1796
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2321-2321
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1793-1793 PoweredVehicle e' uma sub-classe de Vehicle

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2075-2075 Railcar e' disjunto de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1822-1822 Trailer e' disjunto de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1649-1649 AAV e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1574-1574 APC e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2583-2583 Airplane e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2166-2166 ElectrifiedRailwayCar e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1893-1893 EmergencyRoadVehicle e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1887-1887 EmergencyVehicle e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1947-1947 LCAC e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2116-2116 Locomotive e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2204-2204 MotorRailcar e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2111-2111 MotorizedRailwayCar e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1804-1804 SelfPoweredRoadVehicle e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2048-2048 Train e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47024-47024
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47023-47023
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47022-47022

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1798-1801

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 3755-3769


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