Organization(机构)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10578-10586
No TPTP formula. May not be expressible in strict first order. Merge.kif 10683-10691
No TPTP formula. May not be expressible in strict first order. Merge.kif 10651-10659
No TPTP formula. May not be expressible in strict first order. Merge.kif 10665-10675
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16294-16299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16331-16336
No TPTP formula. May not be expressible in strict first order. Economy.kif 1607-1617
No TPTP formula. May not be expressible in strict first order. Economy.kif 1649-1657
No TPTP formula. May not be expressible in strict first order. naics.kif 50-72
No TPTP formula. May not be expressible in strict first order. naics.kif 7953-7978
No TPTP formula. May not be expressible in strict first order. naics.kif 2194-2210
No TPTP formula. May not be expressible in strict first order. naics.kif 1837-1855
No TPTP formula. May not be expressible in strict first order. naics.kif 7242-7257
No TPTP formula. May not be expressible in strict first order. naics.kif 3125-3141
No TPTP formula. May not be expressible in strict first order. naics.kif 7509-7521
No TPTP formula. May not be expressible in strict first order. naics.kif 5126-5150
No TPTP formula. May not be expressible in strict first order. naics.kif 1080-1095
No TPTP formula. May not be expressible in strict first order. naics.kif 8736-8756
No TPTP formula. May not be expressible in strict first order. naics.kif 5421-5443
No TPTP formula. May not be expressible in strict first order. naics.kif 7186-7198
No TPTP formula. May not be expressible in strict first order. naics.kif 4225-4241
No TPTP formula. May not be expressible in strict first order. naics.kif 7319-7333
No TPTP formula. May not be expressible in strict first order. naics.kif 1361-1377
No TPTP formula. May not be expressible in strict first order. naics.kif 7125-7137
No TPTP formula. May not be expressible in strict first order. naics.kif 5994-6010

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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