LAV
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1510-1518 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 545-545 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1509-1509 | LAV is a subclass of APC |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1520-1520 | LAV25 is a subclass of LAV |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33521-33521 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33520-33520 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33519-33519 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2081-2081 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 532-537 |
|