No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20250-20266 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18269-18280 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17969-17976 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17948-17962 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2572-2581 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2621-2630 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20272-20283 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11456-11468 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3242-3266 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3275-3299 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17929-17941 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 345-347 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 336-339 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 341-343 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 357-359 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13385-13390 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15774-15779 |
|