No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7949-7958 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1731-1746 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7795-7799 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 102-106 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 69-85 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 99-115 |
|
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. |
Mid-level-ontology.kif 22470-22475 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16631-16635 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2531-2535 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2263-2269 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1134-1138 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2956-2983 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2999-3026 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3282-3302 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1157-1166 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2141-2145 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5306-5314 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4495-4499 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2151-2155 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22998-23006 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 163-183 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11499-11508 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4241-4267 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |