AAV - Sigma 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 是两栖车辆的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1646-1646	AAV 是军车的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1648-1648	AAV 是乘用车的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1649-1649	AAV 是动力车辆的 subclass

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	如果自身连接物体是 AAV 的 instance，然后那个自身连接物体的 length 是 7.94 仪表和那个自身连接物体的 width 是 3.27 仪表和 22.8 吨质量是那个自身连接物体的 weight 和那个自身连接物体的 height 是 3.26 仪表和 480.0 公里是那个自身连接物体的 effective 范围
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1678-1682	如果军车是 AAV 的 instance，然后那个军车是对于 1 的 weapon 携带容量 m2褐变和那个军车是对于 1 的 weapon 携带容量 Mk19
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1692-1697	如果客体是 AAV 的 instance，然后有存在另一个客体这样那个另外客体是 m2褐变的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1701-1706	如果客体是 AAV 的 instance，然后有存在另一个客体这样那个另外客体是 Mk19 的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1686-1688	如果乘用车是 AAV 的 instance，然后 25 是那个乘用车的 person 运载容量

consequent

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

MilitaryPersons.kif 642-647