Physical |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1550-1551 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 835-837 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 120-121 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 139-140 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | 劃分 Physical, Object and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 832-832 | 子類 Physical and Entity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 816-816 | 劃分 Entity, Physical and Abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1304-1304 | 子類 內容承載物理 and Physical |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 41-41 | 子類 金融資產 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 846-846 | 子類 Object and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6121-6121 | 子類 物理系統 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1622-1622 | 子類 Process and Physical |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 814-814 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 830-830 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 490-490 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 24-24 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 26-26 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2175-2175 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 442-442 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 27-27 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 57-57 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 511-511 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 27-27 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8468-8468 | 域 何時, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4222-4222 | 域 哪裡, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6112-6112 | 域 abstractCounterpart, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7702-7702 | 域 高度, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7703-7703 | 域 高度, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24181-24181 | 域 週年, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2120-2120 | 域 attitudeForObject, 3 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8389-8389 | 域 一同發生, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8390-8390 | 域 一同發生, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3817-3817 | 域 courseWRT羅盤北, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3818-3818 | 域 courseWRT羅盤北, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3785-3785 | 域 courseWRT北磁, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3786-3786 | 域 courseWRT北磁, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3722-3722 | 域 courseWRT 真北, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3723-3723 | 域 courseWRT 真北, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8544-8544 | 域 日期, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2555-2555 | 域 日期解散, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 978-978 | 域 建立日期, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7680-7680 | 域 距離, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7681-7681 | 域 距離, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Law.kif 178-178 | 域 evidence, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5428-5428 | 域 流動, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5429-5429 | 域 流動, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3945-3945 | 域 有目的, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3961-3961 | 域 有代理人的目的, 1 and Physical |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29963-29972 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7960-7967 | |
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. | UXExperimentalTerms.kif 1416-1425 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2078-2091 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8249-8256 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12984-12997 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 51-62 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25580-25585 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 839-844 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1066-1070 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26594-26602 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2887-2903 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2845-2870 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2922-2940 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2715-2719 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26586-26588 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 240-255 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15872-15877 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12970-12982 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 943-948 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2242-2259 |
|