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