TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1650-1658
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 205-205
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1647-1647	子類 AAV and 兩棲車輛
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1646-1646	子類 AAV and 軍車
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1648-1648	子類 AAV and 乘用車
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1649-1649	子類 AAV and 動力車輛

appearance as argument number 2

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

MilitaryDevices.kif 2086-2086

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1662-1674	例 SelfConnectedObject and AAV length SelfConnectedObject and 測量 7.94 and 儀表寬度 SelfConnectedObject and 測量 3.27 and 儀表測量 22.8 and 噸質量是 SelfConnectedObject 的 weight 高度 SelfConnectedObject and 測量 3.26 and 儀表測量 480.0 and 公里是 SelfConnectedObject 的 effective 範圍
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1678-1682	例軍車 and AAV 軍車是對於 1 的 weapon 攜帶容量 m2褐變軍車是對於 1 的 weapon 攜帶容量 Mk19
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1692-1697	例 Object and AAV Object 例 Object and m2褐變部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1701-1706	例 Object and AAV Object 例 Object and Mk19 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1686-1688	例乘用車 and AAV 25 是乘用車的 person 運載容量

consequent

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

MilitaryPersons.kif 642-647