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 | 域 子過程, 1 and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3753-3753 | 域 子過程, 2 and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3750-3750 | 例 子過程 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3751-3751 | 例 子過程 and PartialOrderingRelation |
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 | attribute Object and 和弦音樂 Process Process 例 Object and MakingMusic 例 Process and MakingMusic 例 Process and MakingMusic 子過程 Process and Object 子過程 Process and Object 等於 Process and Process 一同發生 Process and Object 一同發生 Process and Object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30296-30310 | 方式 Process and Harmless 例 Process and Damaging Process 例 Process and Damaging 子過程 Process and Process Process 例 Process and Damaging 原因 Process and Process |
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 | 子過程 民政活動 and 民政運作 |