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 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3753-3753 | 子过程 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3750-3750 | 子过程 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3751-3751 | 子过程 是 偏序关系 的 instance |
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 若且唯若 有存在 过程 和 另一个 过程 这样 那个 客体 是 制作音乐 的 instance 和 那个 过程 是 制作音乐 的 instance 和 那个 另外 过程 是 制作音乐 的 instance 和 那个 过程%n是那个 客体的subProcess 和 那个 另外 过程%n是那个 客体的subProcess 和 那个 过程 不 equal 那个 另外 过程 和 那个 过程 和 那个 客体 同时发生 和 那个 另外 过程 和 那个 客体 同时发生 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30296-30310 | 过程 是以 Harmless 的形式发生 若且唯若 那个 过程 不 是 损坏 的 instance 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程2%n是那个 过程的subProcess 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程 causes 那个 过程2 |
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 | 民政活动%n是民政运作的subProcess |