No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1945-1958 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16200-16212 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18679-18695 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21776-21795 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17386-17397 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17427-17439 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 778-788 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1416-1425 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6515-6523 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11731-11742 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11895-11899 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11905-11916 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 586-602 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8387-8400 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6505-6529 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3496-3510 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29639-29653 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4391-4399 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4401-4405 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 224-231 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14603-14609 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17112-17117 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21512-21517 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1478-1488 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1836-1842 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |