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 and CorpuscularObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 968-968 | 域 零件, 2 and CorpuscularObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 966-966 | 例 零件 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 965-965 | 子關係 零件 and 部分 |
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 | 子關係 功率元件 and 零件 |
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 |
consequent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 63-68 | 例 CorpuscularObject and 電腦硬件 CorpuscularObject 例 CorpuscularObject and 電腦 零件 CorpuscularObject and CorpuscularObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10944-10950 | 例 CorpuscularObject and Vertebrate CorpuscularObject 例 CorpuscularObject and Animal 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 脊柱 |
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 |