No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2479-2479 |
子關係 中止發射 and 中止 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2433-2433 |
子關係 任務中止 and 中止 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8037-8037 |
子關係 公民 and 居民 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6642-6642 |
子關係 密度 and 每 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18389-18389 |
子關係 DepartmentOfPreventingFn and DepartmentOfFn |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6176-6176 |
子關係 海岸線 and 邊界 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6654-6654 |
子關係 速度 and 每 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3163-3163 |
子關係 abbreviatedDisplayTitle and displayTitle |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27233-27233 |
子關係 縮寫 and 傳統的短名稱 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 868-868 |
子關係 吸收劑量 and 測量 |
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. |
QoSontology.kif 1617-1617 |
子關係 抽象層次 and 屬性 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 228-228 |
子關係 帳號在 and 協議的一方 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 247-247 |
子關係 帳戶持有人 and 協議的一方 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4409-4409 |
子關係 accountInformation and 包含信息 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4155-4155 |
子關係 accountPhoneNumber and accountInformation |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4163-4163 |
子關係 accountUsed and 患者 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3034-3034 |
子關係 acronym and 縮寫 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 385-385 |
子關係 行政中心 and 地緣政治細分 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3323-3323 |
子關係 稅後收入 and 賺的收入 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7517-7517 |
子關係 年齡 and 測量 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2435-2435 |
子關係 agent and 參與活動 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3424-3424 |
子關係 agentName and 名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2237-2237 |
子關係 代理人在區域內經營 and 部分位於 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25675-25675 |
子關係 氣溫 and 測量 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |