No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 751-762 |
PolyphonicMusic est un attribut de objet processus processus objet est une instance de MakingMusic processus est une instance de MakingMusic processus est une instance de MakingMusic processus est un sous-processus de objet processus est un sous-processus de objet processus est processus processus se produit en m�me temps que objet processus se produit en m�me temps que objet |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30284-30298 |
Processus est ex�cut� de la fa�on Harmless processus est une instance de endommager processus2 processus2 est une instance de endommager processus2 est un sous-processus de processus processus2 processus2 est une instance de endommager processus cause processus2 |
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. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 867-876 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12281-12290 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 487-499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21756-21768 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 753-763 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 782-790 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23493-23503 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1033-1041 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21775-21794 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11770-11778 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6042-6053 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 980-992 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3199-3211 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3226-3247 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 96-105 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3572-3581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21532-21539 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 618-630 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11995-12004 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23564-23572 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |