subProcess |
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. | Mid-level-ontology.kif 9964-9976 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3517-3529 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10647-10657 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1710-1721 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1583-1597 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1738-1751 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2609-2623 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2627-2643 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2591-2605 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2573-2587 | |
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. | UXExperimentalTerms.kif 3829-3833 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3882-3886 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10607-10617 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3169-3180 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 207-217 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 225-238 | |
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. | Mid-level-ontology.kif 643-661 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1218-1225 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1235-1247 | |
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. | Music.kif 986-996 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10728-10740 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |