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