No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13570-13576 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13561-13568 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13549-13559 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29382-29392 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15958-15966 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6895-6904 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3837-3847 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 64-75 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2941-2949 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16260-16271 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 847-852 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20677-20683 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13332-13339 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15416-15430 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16075-16082 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14422-14429 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14009-14015 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15370-15376 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12457-12463 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16549-16554 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13784-13790 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 178-184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13587-13591 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13653-13662 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13668-13677 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |