No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10255-10265 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24191-24203 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 480-496 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1298-1309 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 784-805 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 289-308 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1619-1630 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1632-1644 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4885-4899 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1073-1086 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1180-1188 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3955-3965 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6209-6217 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 693-707 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4865-4873 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3231-3238 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 405-416 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 601-609 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 690-700 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1713-1729 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2129-2141 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3867-3877 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3879-3895 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10644-10652 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |