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 |