No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3590-3601 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4054-4069 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1292-1307 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 641-654 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3718-3759 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26445-26463 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1696-1704 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1902-1914 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26961-26987 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1558-1578 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1947-1958 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1089-1103 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 754-760 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20051-20059 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21088-21100 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 771-777 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21065-21079 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 132-141 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29462-29473 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 796-802 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 956-980 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 712-724 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2353-2372 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |