No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4301-4314 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5847-5859 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6000-6011 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13752-13762 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11558-11567 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1807-1817 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 156-169 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 624-634 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8243-8257 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18600-18614 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 265-273 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 713-723 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13771-13784 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11934-11945 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18150-18184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18564-18577 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16643-16651 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 523-536 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11305-11328 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4501-4518 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 641-654 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1203-1213 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 128-151 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8184-8197 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |