No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1945-1958 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10577-10593 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30815-30826 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2784-2796 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13226-13231 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10055-10078 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10025-10046 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2600-2608 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1882-1891 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1865-1875 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4357-4374 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1598-1608 |
|
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. |
Weather.kif 2590-2598 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1328-1340 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1563-1575 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1545-1554 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9774-9795 |
|
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 88-99 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3628-3644 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5490-5500 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 902-915 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2265-2274 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7497-7509 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |