represents |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2164-2168 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4455-4461 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 823-828 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4452-4452 | 域 代表, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4453-4453 | 域 代表, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4451-4451 | 例 代表 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4450-4450 | 子關係 代表 and 參照 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 227-227 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 228-228 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 133-133 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 253-253 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1962-1962 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 85-85 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 296-296 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 290-290 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 152-152 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 138-138 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 445-445 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6113-6113 | 子關係 abstractCounterpart and 代表 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 349-349 | 子關係 anthem and 代表 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3498-3498 | 子關係 卡代碼 and 代表 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26923-26923 | 子關係 conforms and 代表 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1356-1356 | 子關係 包含信息 and 代表 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1020-1020 | 子關係 硬件類型 and 代表 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4050-4050 | 子關係 implementsProtocol and 代表 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3537-3537 | 子關係 銷 and 代表 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1301-1301 | 子關係 productBrand and 代表 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 14-14 | 子關係 產品型號 and 代表 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4595-4595 | 子關係 實現 and 代表 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14322-14322 | 子關係 record and 代表 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49532-49532 | |
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. | Geography.kif 3001-3009 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 895-901 | |
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. | Military.kif 32-44 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2426-2435 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 312-314 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 531-537 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 202-214 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3135-3141 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13116-13124 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 801-812 |
|
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. | MilitaryProcesses.kif 1573-1580 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3025-3032 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 250-264 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 280-296 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26973-26999 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 569-575 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1099-1103 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1088-1094 | |
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. | Hotel.kif 1319-1325 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 736-748 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 790-800 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 171-173 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2272-2274 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1109-1113 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 180-188 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4024-4026 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21183-21192 | |
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. | engineering.kif 850-850 | 代表 電阻元件 and 消減器 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 851-851 | 代表 電阻元件 and 電氣雙極 |