Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2019-2024	If a transportation device is an instance of truck, then there exists a kind of object such that a kind of object is a subclass of object and the kind of object is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2009-2009	Truck is a subclass of self powered road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2010-2010	Truck is a subclass of cargo vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1871-1871	Light truck is a subclass of truck
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2026-2026	Truck tractor is a subclass of truck
No TPTP formula. May not be expressible in strict first order.	Military.kif 206-206	Military supply truck is a subclass of truck