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 6231-6244 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 457-470 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 684-695 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8281-8288 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15515-15532 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22920-22925 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29595-29604 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8722-8729 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1615-1624 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8706-8713 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7887-7891 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7869-7873 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12163-12172 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2328-2338 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8262-8267 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 274-291 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26973-26999 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8690-8697 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2788-2800 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14624-14638 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8145-8149 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4317-4321 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 667-675 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |