No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2899-2899 |
子屬性 AON 訂單 and 金融秩序 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3894-3894 |
子屬性 磨料產品製造 and 其他非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1524-1524 |
子屬性 AbruzzeseCuisine and ItalianCuisine |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 327-327 |
子屬性 絕對君主制 and 威權政權 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 240-240 |
子屬性 絕對君主制 and 帝制 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11559-11559 |
子屬性 住所 and 住宿和餐飲服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9900-9900 |
子屬性 會計稅務準備簿記和工資單服務 and 專業的科技服務 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4440-4440 |
子屬性 代理總領事 and 總領事 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9289-9289 |
子屬性 與信貸中介有關的活動 and 信貸中介及相關活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9647-9647 |
子屬性 與房地產有關的活動 and RealEstateIndustry |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18808-18808 |
子屬性 Actor and Performer |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 353-353 |
子屬性 精算師 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6030-6030 |
子屬性 AcuteBronchitis and Bronchitis |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3387-3387 |
子屬性 膠粘劑製造 and 油漆塗料和膠粘劑製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12355-12355 |
子屬性 管理空氣和水資源以及固體廢物管理計劃 and 管理環境品質計劃 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12364-12364 |
子屬性 管理保護計劃 and 管理環境品質計劃 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12395-12395 |
子屬性 管理經濟計劃 and 公共行政 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12317-12317 |
子屬性 管理教育計劃 and 管理人力資源計劃 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12348-12348 |
子屬性 管理環境品質計劃 and 公共行政 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12401-12401 |
子屬性 一般經濟計劃的管理 and 管理經濟計劃 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12379-12379 |
子屬性 住房計劃管理 and 住房計劃管理城市規劃和社區發展 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12371-12371 |
子屬性 住房計劃管理城市規劃和社區發展 and 公共行政 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12311-12311 |
子屬性 管理人力資源計劃 and 公共行政 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12331-12331 |
子屬性 除教育公共衛生和退伍軍人事務計劃外的人力資源計劃管理 and 管理人力資源計劃 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12324-12324 |
子屬性 管理公共衛生計劃 and 管理人力資源計劃 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |