No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 751-762 |
PolyphonicMusic e' um atributo de Objeto Processo Processo Objeto e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Objeto Processo e' um sub-processo de Objeto Processo e' igual a Processo Processo acontece ao mesmo tempo que Objeto Processo acontece ao mesmo tempo que Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30296-30310 |
Processo e' feito de forma Harmless Processo e' uma instancia de Causar Dano Processo2 Processo2 e' uma instancia de Causar Dano Processo2 e' um sub-processo de Processo Processo2 Processo2 e' uma instancia de Causar Dano Processo causa Processo2 |
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 12259-12268 |
|
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 21757-21769 |
|
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 23494-23504 |
|
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 21776-21795 |
|
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 11771-11779 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6043-6054 |
|
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 21533-21540 |
|
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 11973-11982 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23565-23573 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |