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

Formal Language: 



KB Term:  Term intersection
English Word: 

  formerName

 Sigma KEE - formerName
formerName

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14716-14717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14719-14719 formerName e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14718-14718 formerName e' uma sub-relacao de names

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3478-3478
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3477-3477
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3476-3476
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24746-24746
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24745-24745
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24744-24744

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2786-2786 formerName "AG" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2764-2764 formerName "Agency for Cultural and Technical Cooperation" and AgencyForTheFrenchSpeakingCommunity
No TPTP formula. May not be expressible in strict first order. Government.kif 2789-2789 formerName "Ancom" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2788-2788 formerName "Andean Common Market" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2787-2787 formerName "Andean Parliament" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2785-2785 formerName "AndeanGroup" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 602-602 formerName "Burma" and Myanmar
No TPTP formula. May not be expressible in strict first order. Government.kif 3713-3713 formerName "CSCE" and OrganizationForSecurityAndCooperationInEurope
No TPTP formula. May not be expressible in strict first order. Government.kif 3648-3648 formerName "Central African Customs and Economic Union" and MonetaryAndEconomicCommunityOfCentralAfrica
No TPTP formula. May not be expressible in strict first order. Government.kif 3712-3712 formerName "Conference on Security and Cooperation in Europe" and OrganizationForSecurityAndCooperationInEurope
No TPTP formula. May not be expressible in strict first order. Government.kif 3238-3238 formerName "Conseil Europeenne pour la Recherche Nucleaire" and EuropeanOrganizationForNuclearResearch
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4226-4226 formerName "Ellice Islands" and Tuvalu
No TPTP formula. May not be expressible in strict first order. Economy.kif 127-127 formerName "First World" and DevelopedCountry
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4207-4207 formerName "Gilbert Islands" and Kiribati
No TPTP formula. May not be expressible in strict first order. Government.kif 3823-3823 formerName "Grupo de los Ocho" and RioGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 3971-3971 formerName "Habitat" and UnitedNationsCenterForHumanSettlements
No TPTP formula. May not be expressible in strict first order. Government.kif 2964-2964 formerName "Hexagonal Initiative" and CentralEuropeanInitiative
No TPTP formula. May not be expressible in strict first order. Government.kif 3584-3584 formerName "ICEM" and InternationalOrganizationForMigration
No TPTP formula. May not be expressible in strict first order. Government.kif 3586-3586 formerName "ICM" and InternationalOrganizationForMigration
No TPTP formula. May not be expressible in strict first order. Government.kif 4328-4328 formerName "IFCTU" and WorldConfederationOfLabor
No TPTP formula. May not be expressible in strict first order. Government.kif 3393-3393 formerName "IGADD" and InterGovernmentalAuthorityOnDevelopment
No TPTP formula. May not be expressible in strict first order. Government.kif 3554-3554 formerName "IMCO" and InternationalMaritimeOrganization
No TPTP formula. May not be expressible in strict first order. Government.kif 3392-3392 formerName "Inter-Governmental Authority on Drought and Development" and InterGovernmentalAuthorityOnDevelopment
No TPTP formula. May not be expressible in strict first order. Government.kif 3583-3583 formerName "Intergovernmental Committee for European Migration" and InternationalOrganizationForMigration
No TPTP formula. May not be expressible in strict first order. Government.kif 3585-3585 formerName "Intergovernmental Committee for Migration" and InternationalOrganizationForMigration

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