No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13979-13979 |
MilitaryInfiltration e' uma sub-classe de Processo Militar |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 23-23 |
MilitaryOperation e' uma sub-classe de Processo Militar |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2735-2735 |
MilitaryRegrouping e' uma sub-classe de Processo Militar |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1104-1104 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1425-1425 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 782-782 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 314-314 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 317-317 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2466-2466 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 734-734 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 353-353 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 803-803 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 318-318 |
|