Organization(机构)

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7607-7607 非盈利机构机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8508-8508 组织委员会机构subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16645-16645 政治机构机构subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16736-16736 宗教机构机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8521-8521 安全部门机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8450-8450 服务组织机构subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3265-3265 船员机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7019-7019 体育联盟机构subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1754-1754 股市机构subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3095-3095 运输当局机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8538-8538 工会组织机构subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1067-1067
No TPTP formula. May not be expressible in strict first order. english_format.kif 1345-1345
No TPTP formula. May not be expressible in strict first order. french_format.kif 745-745
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 277-277
No TPTP formula. May not be expressible in strict first order. terms-it.txt 280-280
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2429-2429
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 697-697
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 316-316
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 766-766
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 281-281


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners