Possibility |
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 |
|