Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2019-2024	如果运输设备是卡车的 instance，然后有存在有点客体这样有点客体是客体的 subclass 和那个有点客体是那个运输设备的 cargo 种类
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2009-2009	卡车是自供电公路车辆的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2010-2010	卡车是货车的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1871-1871	轻型卡车是卡车的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2026-2026	卡车拖拉机是卡车的 subclass
No TPTP formula. May not be expressible in strict first order.	Military.kif 206-206	军用卡车是卡车的 subclass