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 |