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