No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 632-640 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20751-20757 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 599-604 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 939-944 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 193-199 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 706-713 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14071-14076 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14099-14105 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14090-14097 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 738-753 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 280-287 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 261-270 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16851-16860 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7740-7745 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 487-499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14078-14088 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6230-6243 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7596-7611 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2092-2106 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 223-230 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4373-4382 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 757-776 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1364-1371 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |