Organization(机构) |
No TPTP formula. May not be expressible in strict first order. | naics.kif 954-977 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8776-8797 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8080-8105 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 6375-6391 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 2563-2581 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16631-16635 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1806-1812 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10780-10785 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16916-16923 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7068-7077 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2118-2122 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2023-2027 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3480-3484 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4607-4612 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2324-2329 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1332-1334 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2151-2153 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2046-2048 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16623-16629 |