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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RollingStock
RollingStock

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2103-2104
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4940-4940
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5076-5076
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2146-2146 O conceito RollingStock e' completamente decomposto em PassengerRailcar + FreightCar
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2101-2101 RollingStock e' uma sub-classe de RailVehicle

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2102-2102 RoadVehicle e' disjunto de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2156-2156 CabCar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2171-2171 ElectrifiedRailwayCar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2145-2145 FreightCar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2191-2191 HeadEndCar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2121-2121 Locomotive e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2200-2200 LocomotiveCoalCar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2116-2116 MotorizedRailwayCar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2162-2162 OutfitCar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2128-2128 PassengerRailcar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2221-2221 PrivateRailcar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2080-2080 Railcar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2229-2229 ScaleTestCar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2214-2214 Streetcar e' uma sub-classe de RollingStock
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50302-50302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50301-50301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50300-50300

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2106-2114

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2361-2363
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2106-2114
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2054-2063


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