Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  subOrganization

Sigma KEE - subOrganization
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 O argumento numero 1 de subOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order. Merge.kif 16815-16815 O argumento numero 2 de subOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order. Merge.kif 16813-16813 subOrganization e' uma instancia de Relacao parcialmente Ordenada
No TPTP formula. May not be expressible in strict first order. Merge.kif 16812-16812 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 24227-24227 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 2024-2024 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 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
-------------------------


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 4612-4621
No TPTP formula. May not be expressible in strict first order. Government.kif 4622-4631
No TPTP formula. May not be expressible in strict first order. Government.kif 4434-4442
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 1277-1282
No TPTP formula. May not be expressible in strict first order. Government.kif 1271-1275
No TPTP formula. May not be expressible in strict first order. Government.kif 1265-1269
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 2660-2674
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2678-2694
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2642-2656
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2624-2638
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2605-2620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16332-16351
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. Government.kif 2088-2092
No TPTP formula. May not be expressible in strict first order. Government.kif 2082-2086
No TPTP formula. May not be expressible in strict first order. Government.kif 1987-1991
No TPTP formula. May not be expressible in strict first order. Government.kif 1993-1997
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 8454-8462

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 3041-3041 CommissionForSocialDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3043-3043 CommissionOnCrimePreventionAndCriminalJustice e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3045-3045 CommissionOnHumanRights e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3047-3047 CommissionOnNarcoticsDrugs e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3049-3049 CommissionOnPopulationAndDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3051-3051 CommissionOnScienceAndTechnologyForDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3053-3053 CommissionOnSustainableDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3055-3055 CommissionOnTheStatusOfWomen e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4792-4792 DepartmentOfHomelandSecurity e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order. Government.kif 3057-3057 EconomicAndSocialCommissionForAsiaAndThePacific e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3059-3059 EconomicAndSocialCommissionForWesternAsia e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3040-3040 EconomicAndSocialCouncil e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3061-3061 EconomicCommissionForAfrica e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3063-3063 EconomicCommissionForEurope e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3065-3065 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 3067-3067 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 4488-4488 HoldenCorporation e' uma parte da organizacao GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Government.kif 3068-3068 InternationalAtomicEnergyAgency e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3069-3069 InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3380-3380 InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order. Government.kif 4283-4283 InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao WorldBankGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 3070-3070 InternationalCenterForSecretariatOfInvestmentDisputes e' uma parte da organizacao EconomicAndSocialCouncil

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners