No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2055-2064 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14440-14446 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3847-3860 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1706-1712 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3790-3808 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27035-27057 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3821-3834 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26185-26191 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 741-763 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3683-3712 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 713-736 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7189-7197 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4347-4358 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17442-17444 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17340-17342 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2007-2015 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1954-1962 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2519-2534 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 819-822 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3401-3408 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1499-1509 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1506-1519 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 390-398 |
|