subProcess |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2893-2894 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3755-3757 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1640-1642 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3752-3752 | O argumento numero 1 de subProcess e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3753-3753 | O argumento numero 2 de subProcess e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3750-3750 | subProcess e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3751-3751 | subProcess e' uma instancia de Relacao parcialmente Ordenada |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 573-573 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 578-578 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 340-340 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 277-277 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2096-2096 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 292-292 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 348-348 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 752-752 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 314-314 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 362-362 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 377-377 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 469-469 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 574-574 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55775-55775 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55774-55774 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 757-776 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 501-514 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3759-3784 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 516-522 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 524-530 |
|
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. | Medicine.kif 620-630 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23575-23581 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23583-23589 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23591-23598 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1275-1296 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1207-1216 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 662-670 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17051-17063 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 85-91 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 93-99 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13442-13449 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1794-1800 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15957-15961 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15933-15937 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23506-23511 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1940-1953 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1929-1938 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8243-8257 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
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 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2373-2373 | CivilAffairsActivity e' um sub-processo de CivilAffairsOperation |