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 | Le nombre 1 argument de subProcess est une instance de processus |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3753-3753 | Le nombre 2 argument de subProcess est une instance de processus |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3750-3750 | subProcess est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3751-3751 | subProcess est une instance de relation partiellement dirig�e |
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 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 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2373-2373 | CivilAffairsActivity est un sous-processus de CivilAffairsOperation |