TruckTractor - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TruckTractor

TruckTractor(truck tractor)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2027-2029
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5084-5084
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5083-5083
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5085-5085
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5087-5087
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5081-5081
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5082-5082
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4944-4944
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5086-5086
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2026-2026	Truck tractor is a subclass of truck

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 5012-5012	Peterbilt truck is a subclass of truck tractor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59294-59294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59293-59293
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59292-59292

consequent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 1831-1839

If an object is an instance of tractor trailer,
then there exist another object and a third object such that the other object is an instance of truck tractor and the third object is an instance of truck trailer and the other object is a part of the object and the third object is a part of the object and the other object is connected to the third object

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