No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1045-1049 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32751-32762 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2795-2814 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1252-1265 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5499-5509 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11574-11581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12578-12593 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1172-1185 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1071-1081 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6106-6114 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6210-6218 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6184-6192 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6023-6031 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4557-4563 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5915-5929 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 965-971 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3654-3660 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7395-7409 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1519-1529 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4906-4915 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1329-1335 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2785-2794 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12294-12299 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4895-4897 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11339-11352 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |