No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16695-16695 |
不相交的 輔助的軍事組織 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16662-16662 |
不相交的 私立學校 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4827-4827 |
例 國土安全部 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3107-3107 |
例 FederalAviationAdministration and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4797-4797 |
例 美國海關和邊境保護局 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26924-26924 |
例 USFEMA and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1278-1278 |
例 USFoodAndDrugAdministration and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4809-4809 |
例 美國農業部 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4812-4812 |
例 美國國防部 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4854-4854 |
例 美國內政部 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4849-4849 |
例 美國國務院 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4819-4819 |
例 美國郵政局 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1528-1528 |
範圍 內閣 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2139-2139 |
範圍 司法 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8341-8341 |
子類 海岸警衛隊 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4696-4696 |
子類 外交組織 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16725-16725 |
子類 Government and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1507-1507 |
子類 政府內閣 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3116-3116 |
子類 HealthDepartment and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16689-16689 |
子類 軍事組織 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16742-16742 |
子類 警察組織 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8488-8488 |
子類 公共圖書館 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16658-16658 |
子類 公立學校 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26310-26310 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26309-26309 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |