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 21775-21794 |
|
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 23574-23580 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23582-23588 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23590-23597 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1271-1292 |
|
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 17050-17062 |
|
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 13464-13471 | |
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 15956-15960 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15932-15936 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23505-23510 | |
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 8242-8256 |
|
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 30284-30298 | 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 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 |
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 |
![]() |
![]() |