Organization(organization) |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1727-1727 | The number 2 argument of listed on is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16964-16964 | The number 1 argument of monetary wage is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17272-17272 | The number 3 argument of occupies position is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3474-3474 | The number 2 argument of organization name is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1620-1620 | The number 1 argument of organization product type is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1660-1660 | The number 1 argument of organization service type is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27197-27197 | The number 1 argument of policy owner is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15486-15486 | The number 1 argument of publishes is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Music.kif 132-132 | The number 2 argument of recording company is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24153-24153 | The number 1 argument of religious affiliation of organization is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1912-1912 | The number 1 argument of seats held in organization is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2067-2067 | The number 1 argument of seats in organization count is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2119-2119 | The number 2 argument of share of is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16743-16743 | The number 1 argument of sub organization is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16744-16744 | The number 2 argument of sub organization is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22727-22727 | The number 1 argument of subordinate in organization is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22744-22744 | The number 1 argument of subordinate position is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2577-2577 | The number 1 argument of successor organization is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2578-2578 | The number 2 argument of successor organization is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3926-3926 | The number 2 argument of third party product is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20529-20529 | The number 1 argument of work location is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 957-957 | The number 1 argument of year of founding is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4633-4633 | The number 2 argument of diplomatic organization type is a subclass of organization |