No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3329-3329 |
域 ClickThroughRateFn, 2 and HypertextLink |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5477-5477 |
域 補充, 1 and SetOrClass |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 674-674 |
域 憲法, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1048-1048 |
域 ContestFn, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2841-2841 |
域 ConversionRateFn, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4801-4801 |
域 餘弦, 1 and PlaneAngleMeasure |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 283-283 |
域 貨幣, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6071-6071 |
域 切集, 1 and Graph |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4857-4857 |
域 基準, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8610-8610 |
域 天, 1 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
People.kif 102-102 |
域 每千人死亡, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. |
People.kif 103-103 |
域 每千人死亡, 2 and 年 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 228-228 |
域 每千名活產嬰兒死亡人數, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. |
People.kif 229-229 |
域 每千名活產嬰兒死亡人數, 2 and 年 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30618-30618 |
域 DemonymFn, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4810-4810 |
域 分母, 1 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6645-6645 |
域 密度, 1 and MassMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6646-6646 |
域 密度, 2 and VolumeMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18322-18322 |
域 DepartmentOfFn, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18393-18393 |
域 DepartmentOfPreventingFn, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7460-7460 |
域 後人, 1 and Human |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4938-4938 |
域 直徑, 1 and Object |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 477-477 |
域 定向分區域, 1 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 478-478 |
域 定向分區域, 2 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4742-4742 |
域 部, 1 and RealNumber |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |