No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1727-1727 |
域 上市在, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16963-16963 |
域 貨幣工資, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17294-17294 |
域 佔據位置, 3 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3474-3474 |
域 organizationName, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1620-1620 |
域 組織產品類型, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1660-1660 |
域 組織服務類型, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27185-27185 |
域 policyOwner, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15508-15508 |
域 發布, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 132-132 |
域 recordingCompany, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24152-24152 |
域 組織的宗教信仰, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1912-1912 |
域 在組織中舉行的席位, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2067-2067 |
域 組織席位數, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2119-2119 |
域 分享在, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16765-16765 |
域 子組織, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16766-16766 |
域 子組織, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22726-22726 |
域 從屬於組織, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22743-22743 |
域 從屬地位, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2577-2577 |
域 繼任組織, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2578-2578 |
域 繼任組織, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3926-3926 |
域 thirdPartyProduct, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20528-20528 |
域 workLocation, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 957-957 |
域 建立年份, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4633-4633 |
域子類 外交組織類型, 2 and Organization |