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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tire

Sigma KEE - Tire
Tire(tire)auto_tire, automobile_tire, car_tire, pneumatic_tire, pneumatic_tyre, rubber_tire, tire, tyre, wagon_tire

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4781-4784
No TPTP formula. May not be expressible in strict first order. Cars.kif 4780-4780 Tire is a subclass of device

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4815-4815 Atv tire is a subclass of tire
No TPTP formula. May not be expressible in strict first order. Cars.kif 4648-4648 Four wheel drive tire is a subclass of tire
No TPTP formula. May not be expressible in strict first order. Cars.kif 4992-4992 Mud tyre is a subclass of tire
No TPTP formula. May not be expressible in strict first order. Cars.kif 4785-4785

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4802-4804
No TPTP formula. May not be expressible in strict first order. Cars.kif 4798-4800
No TPTP formula. May not be expressible in strict first order. Cars.kif 4787-4796

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4875-4885
No TPTP formula. May not be expressible in strict first order. Cars.kif 4887-4897


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