component |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1578-1580 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 970-975 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 153-156 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 178-183 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 967-967 | 组件 的 1 数量 是 躯体性物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 968-968 | 组件 的 2 数量 是 躯体性物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 966-966 | 组件 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 965-965 | 组件 是 部分 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 75-75 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 75-75 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 62-62 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 48-48 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1886-1886 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 14-14 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 67-67 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 83-83 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 90-90 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 81-81 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 61-61 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 82-82 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1736-1736 | 功率元件 是 组件 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 76-76 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16200-16200 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16199-16199 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16198-16198 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 22-22 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 113-113 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5845-5849 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 641-646 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 251-258 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 224-237 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2830-2844 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3721-3739 |
|
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. | UXExperimentalTerms.kif 2065-2076 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1570-1581 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 204-213 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1843-1849 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1835-1841 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 326-334 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3333-3356 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4054-4061 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 63-68 | 躯体性物体 是 电脑硬件 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体 是 电脑 的 instance 和 那个 躯体性物体 是 那个 另外 躯体性物体 的 component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10944-10950 | 躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2491-2498 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 224-237 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3721-3739 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2065-2076 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 204-213 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4016-4024 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3538-3547 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4114-4120 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11191-11196 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1975-1977 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14459-14470 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1075-1083 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1039-1044 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2473-2478 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16066-16071 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5910-5915 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5903-5908 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 675-680 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11707-11715 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 262-267 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1989-1994 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1149-1156 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1309-1314 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |