subOrganization |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3751-3753 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16816-16819 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16814-16814 | 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 16815-16815 | The number 2 argument of sub organization is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16813-16813 | sub organization is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16812-16812 | sub organization is a subrelation of sub collection |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24227-24227 | ancestor organization and sub organization are disjoint |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 810-810 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 549-549 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 554-554 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 823-823 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 486-486 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2090-2090 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 824-824 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 274-274 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 438-438 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 343-343 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 508-508 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2024-2024 | chamber of legislature is a subrelation of sub organization |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 550-550 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55766-55766 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55765-55765 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55764-55764 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1941-1949 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4475-4483 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18370-18385 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18428-18433 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1277-1282 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1477-1488 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2155-2160 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16762-16766 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 371-376 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 393-398 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 425-430 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 417-422 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 446-451 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1751-1757 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1736-1746 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2049-2054 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1894-1899 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8553-8563 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2094-2099 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16768-16772 |
|
consequent |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5558-5558 | Aetna is a part of the organization CVS |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3041-3041 | Commission for social development is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3043-3043 | Commission on crime prevention and criminal justice is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3045-3045 | Commission on human rights is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3047-3047 | Commission on narcotics drugs is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3049-3049 | Commission on population and development is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3051-3051 | Commission on science and technology for development is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3053-3053 | Commission on sustainable development is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3055-3055 | Commission on the status of women is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4792-4792 | Department of homeland security is a part of the organization the government of united states |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3057-3057 | Economic and social commission for asia and the pacific is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3059-3059 | Economic and social commission for western asia is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3040-3040 | Economic and social council is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3061-3061 | Economic commission for africa is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3063-3063 | Economic commission for europe is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3065-3065 | Economic commission for latin america and the caribbean is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4472-4472 | Fitbit is a part of the organization Google |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3067-3067 | Food and agriculture organization is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 17-17 | Google corporation is a part of the organization Alphabet |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4488-4488 | Holden Corporation is a part of the organization General Motors |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3068-3068 | International atomic energy agency is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3069-3069 | International bank for reconstruction and development is a part of the organization economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3380-3380 | International bank for reconstruction and development is a part of the organization united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4283-4283 | International bank for reconstruction and development is a part of the organization world bank group |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3070-3070 | International center for secretariat of investment disputes is a part of the organization economic and social council |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |