subrelation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1375-1378 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 173-178 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 33-37 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 35-39 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 171-171 | 子关系 的 1 数量 是 关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 172-172 | 子关系 的 2 数量 是 关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 169-169 | 子关系 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 170-170 | 子关系 是 偏序关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 321-321 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 326-326 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 183-183 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 279-279 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2003-2003 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 135-135 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 176-176 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 422-422 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 316-316 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 203-203 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 193-193 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 471-471 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55787-55787 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55786-55786 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 119-121 | 关系 是 参与活动 的 subrelation 若且唯若 那个 关系 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 43-52 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23246-23250 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 186-190 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 200-205 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 180-184 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 238-242 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 192-198 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 318-322 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 345-349 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2427-2429 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2479-2479 | 中止发射 是 中止 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2433-2433 | 任务中止 是 中止 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8037-8037 | 公民 是 居民 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6642-6642 | 密度函数 是 每 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18389-18389 | DepartmentOfPreventingFn 是 DepartmentOfFn 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6176-6176 | 海岸线 是 边界 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6654-6654 | 速率函数 是 每 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3163-3163 | abbreviatedDisplayTitle 是 displayTitle 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27233-27233 | 缩写 是 传统的短名称 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 868-868 | 吸收剂量 是 计量 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6113-6113 | abstractCounterpart 是 表示 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1617-1617 | 抽象层次 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 228-228 | 帐号在 是 协议的一方 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 247-247 | 帐户持有人 是 协议的一方 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4409-4409 | accountInformation 是 包含信息 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4155-4155 | accountPhoneNumber 是 accountInformation 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4163-4163 | accountUsed 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3034-3034 | acronym 是 缩写 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 385-385 | 行政中心 是 地缘政治分区 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3323-3323 | 税后收入 是 赚的收入 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7517-7517 | 年龄 是 计量 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2435-2435 | 主事 是 参与活动 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3424-3424 | agentName 是 命名 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2237-2237 | 代理人在区域内经营 是 有一部分位于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25675-25675 | 气温 是 计量 的 subrelation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |