No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5446-5450 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5432-5436 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1463-1468 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1135-1148 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 147-154 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 847-868 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 815-836 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12164-12176 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1707-1715 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1913-1925 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 479-490 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33261-33268 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33124-33129 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33048-33053 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33102-33107 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33027-33032 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32996-33001 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32947-32952 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33153-33158 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33293-33298 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33175-33180 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33218-33223 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |