No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29495-29507 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 437-445 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30108-30115 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 408-419 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 378-385 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 426-436 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 444-449 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 392-400 |
|
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. |
Mid-level-ontology.kif 12536-12546 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17354-17367 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4989-4997 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 286-297 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2881-2897 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2854-2870 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18727-18736 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18742-18752 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18758-18768 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18774-18784 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 134-143 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19442-19452 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30092-30100 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |