No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1115-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2003-2012 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21775-21794 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21473-21488 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17385-17396 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17426-17438 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21394-21402 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 617-627 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 639-649 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10576-10592 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4089-4121 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30816-30823 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 586-602 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23767-23778 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23788-23799 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1747-1767 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1823-1830 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1823-1842 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5488-5497 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 767-785 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2332-2338 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2309-2328 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3414-3429 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1003-1022 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 755-770 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |