Making
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3217-3218 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12860-12861 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12858-12858 | 子類 Making and Creation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12859-12859 | 子類 Making and IntentionalProcess |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20816-20816 | 子類 木工 and Making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12870-12870 | 子類 Constructing and Making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12907-12907 | 子類 Cooking and Making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20439-20439 | 子類 模仿 and Making |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 703-703 | 子類 提供大規模殺傷性武器 and Making |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 686-686 | 子類 發展大規模殺傷性武器 and Making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12887-12887 | 子類 Manufacture and Making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26358-26358 | 子類 Photocopying and Making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3269-3269 | 子類 Sculpting and Making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4619-4619 | 子類 織 and Making |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1185-1185 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1587-1587 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 863-863 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 395-395 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 398-398 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2547-2547 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 815-815 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 400-400 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 434-434 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 884-884 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 399-399 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18450-18450 | 域子類 MakingFn, 1 and Making |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12863-12868 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16793-16803 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1607-1617 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20894-20901 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 436-465 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5747-5767 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 883-896 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15731-15736 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5447-5454 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20430-20437 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5372-5379 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4204-4212 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4190-4198 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 51-62 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5385-5394 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6885-6892 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6727-6734 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5399-5408 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3555-3565 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 331-348 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3932-3939 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 725-735 |