subProcess |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1570-1581 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1651-1672 |
|
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. | Mid-level-ontology.kif 23556-23563 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1579-1588 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3770-3774 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10107-10109 |