No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11731-11742 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11895-11899 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11905-11916 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2270-2278 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2333-2355 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 108-122 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1087-1099 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23583-23589 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1275-1296 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 340-351 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9964-9976 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2554-2569 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2501-2511 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 425-435 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 171-184 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1051-1068 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1916-1929 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11781-11785 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25093-25114 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11368-11385 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11915-11932 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17352-17368 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4135-4145 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1179-1187 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4105-4117 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |