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 16767-16770 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16765-16765 | O argumento numero 1 de subOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16766-16766 | O argumento numero 2 de subOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16764-16764 | subOrganization e' uma instancia de Relacao parcialmente Ordenada |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16763-16763 | subOrganization e' uma sub-relacao de subCollection |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24169-24169 | ancestorOrganization e subOrganization sao disjuntos |
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 2060-2060 | chamberOfLegislature e' uma sub-relacao de subOrganization |
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 55764-55764 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55763-55763 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55762-55762 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1977-1985 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4511-4519 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18342-18357 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18400-18405 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1313-1318 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1513-1524 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2191-2196 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16713-16717 |
|
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 2085-2090 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1930-1935 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8525-8535 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2130-2135 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16719-16723 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 108-115 | Organizacao e' uma instancia de GovernmentOrganization Organizacao e' uma instancia de Governo Organizacao Organizacao e' uma instancia de Governo Organizacao e' uma parte da organizacao Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4648-4657 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4658-4667 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4470-4478 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1313-1318 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1307-1311 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1301-1305 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 256-264 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2609-2623 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2627-2643 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2591-2605 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2573-2587 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2554-2569 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16304-16323 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2130-2135 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2124-2128 |
|
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. | Government.kif 2029-2033 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 693-700 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 940-949 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 712-724 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2559-2561 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8426-8434 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5558-5558 | Aetna e' uma parte da organizacao CVS |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3077-3077 | CommissionForSocialDevelopment e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3079-3079 | CommissionOnCrimePreventionAndCriminalJustice e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3081-3081 | CommissionOnHumanRights e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3083-3083 | CommissionOnNarcoticsDrugs e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3085-3085 | CommissionOnPopulationAndDevelopment e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3087-3087 | CommissionOnScienceAndTechnologyForDevelopment e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3089-3089 | CommissionOnSustainableDevelopment e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3091-3091 | CommissionOnTheStatusOfWomen e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4828-4828 | DepartmentOfHomelandSecurity e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3093-3093 | EconomicAndSocialCommissionForAsiaAndThePacific e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3095-3095 | EconomicAndSocialCommissionForWesternAsia e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3076-3076 | EconomicAndSocialCouncil e' uma parte da organizacao UnitedNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3097-3097 | EconomicCommissionForAfrica e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3099-3099 | EconomicCommissionForEurope e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3101-3101 | EconomicCommissionForLatinAmericaAndTheCaribbean e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4472-4472 | FitbitCompany e' uma parte da organizacao Google |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3103-3103 | FoodAndAgricultureOrganization e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 17-17 | GoogleCorporation e' uma parte da organizacao AlphabetCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4511-4511 | HoldenCorporation e' uma parte da organizacao GeneralMotorsCorp |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3104-3104 | InternationalAtomicEnergyAgency e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3105-3105 | InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3416-3416 | InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao UnitedNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4319-4319 | InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao WorldBankGroup |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3106-3106 | InternationalCenterForSecretariatOfInvestmentDisputes e' uma parte da organizacao EconomicAndSocialCouncil |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |