part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3414-3429 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12930-12941 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12636-12650 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8563-8570 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13979-13987 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1422-1432 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10222-10237 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6997-7014 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9986-9994 | |
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. | Anatomy.kif 1458-1467 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1439-1448 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1469-1481 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2930-2948 |
|
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. | Mid-level-ontology.kif 19943-19951 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13953-13966 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13008-13016 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12901-12908 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12910-12916 |
|
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. | Anatomy.kif 1488-1500 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |