TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3519-3519	Nation est disjoint de continent
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3346-3347
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14225-14228
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3358-3358
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14223-14223	Nation est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14224-14224	Nation est une sous-classe de zone de terre

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 568-568	Afghanistan est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 371-371	Albania est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 117-117	Algeria est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 153-153	Angola est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 429-429	AntiguaAndBarbuda est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 514-514	Argentina est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 631-631	Armenia est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 661-661	Australia est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 276-276	Austria est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 633-633	Azerbaijan est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 241-241	Bahrain est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 570-570	Bangladesh est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 434-434	Barbados est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 297-297	Belarus est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 472-472	Belize est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 192-192	Benin est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 572-572	Bhutan est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 496-496	Bolivia est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 373-373	BosniaAndHerzegovina est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 156-156	Botswana est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 501-501	Brazil est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 600-600	Brunei est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 375-375	Bulgaria est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 194-194	BurkinaFaso est une instance de nation
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 86-86	Burundi est une instance de nation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 954-954	Le nombre 1 argument de NationalAnthemFn est une instance de nation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6710-6710	Le nombre 4 argument de StreetAddressFn est une instance de nation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16753-16753	Le nombre 2 argument de citizen est une instance de nation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1676-1676	Le nombre 1 argument de inflationRateInCountry est une instance de nation

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 865-869	CommunistState est un attribut de AutonomousAgent AutonomousAgent est une instance de nation economyType AutonomousAgent and CentrallyPlannedEconomy
No TPTP formula. May not be expressible in strict first order.	Government.kif 1570-1574	chiefOfState nation, position and humain nation est une instance de nation humain est un citoyen de nation
No TPTP formula. May not be expressible in strict first order.	Government.kif 4668-4673	diplomaticOrganizationType AutonomousAgent, organisation and secteur g�opolitique sous-division g�opolitique secteur g�opolitique est une instance de nation diplomaticOrganizationType AutonomousAgent, organisation and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4648-4657	diplomaticOrganizationType secteur g�opolitique, organisation and AutonomousAgent secteur g�opolitique est une instance de nation AutonomousAgent est une instance de secteur g�opolitique organisation organisation est une instance de organisation organisation est situ� � AutonomousAgent organisation est une partie de l'organization le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4535-4540	diplomaticRepresentationType AutonomousAgent, position and secteur g�opolitique sous-division g�opolitique secteur g�opolitique est une instance de nation diplomaticRepresentationType AutonomousAgent, position and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de nation organisation est une instance de DiplomaticOrganization organisation est une partie de l'organization le gouvernment de secteur g�opolitique humain occupe la position de position organisation AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea organisation and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4470-4478	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de nation organisation organisation est une instance de DiplomaticOrganization organisation est une partie de l'organization le gouvernment de secteur g�opolitique humain occupe la position de position organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1609-1613	headOfGovernment nation, position and humain nation est une instance de nation humain est un citoyen de nation
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 195-201	StatelessPerson est un attribut de entit� pendant position temporel entit� est une instance de nation entit� est un citoyen de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 705-710	BorderFn secteur g�ographique and secteur g�ographique est une instance de secteur g�ographique secteur g�ographique est une instance de nation secteur g�ographique est une instance de nation BorderFn secteur g�ographique and secteur g�ographique est une instance de InternationalBorder
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1145-1149	ShipRegisterFn secteur g�opolitique est une instance de ShipRegister secteur g�opolitique est une instance de nation ShipRegisterFn secteur g�opolitique est une instance de NationalShipRegister
No TPTP formula. May not be expressible in strict first order.	Government.kif 3229-3233	Secteur g�opolitique est une instance de nation currencyType secteur g�opolitique and EuroDollar secteur g�opolitique est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3223-3227	Secteur g�opolitique est une instance de nation secteur g�opolitique est un membre de EuropeanMonetaryUnion currencyType secteur g�opolitique and EuroDollar
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement est une instance de CivilAffairsAgreement partyToAgreement entit�_MIL_THIS and Agreement entit�_MIL_THIS est une instance de MilitaryOrganization militaryOfArea entit�_MIL_THIS and entit�_THIS entit�_THIS est une instance de nation entit�_MIL_THIS est situ� � entit�_FRIENDLY entit�_FRIENDLY est une instance de nation entit�_THIS est entit�_FRIENDLY enemy entit�_THIS and entit�_FRIENDLY entit�_FRIENDLY entit�_FRIENDLY est situ� � entit�_FRIENDLY partyToAgreement entit�_FRIENDLY and Agreement entit�_FRIENDLY est une instance de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	Processus est une instance de CivilAffairsOperation processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de nation proposition est une instance de RegionalLawFn secteur g�opolitique processus exprime le contenu de proposition consistent proposition and proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 774-783	Proposition est une instance de ConstitutionFn secteur g�opolitique secteur g�opolitique est une instance de nation gouvernement est gouvernment de secteur g�opolitique temps d'existence de gouvernement est une instance de position temporel agreementEffectiveDuring proposition and position temporel proposition est une sous-proposition de proposition formule contient information proposition gouvernement est oblig� d'ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Government.kif 906-913	Secteur g�opolitique est une instance de nation governmentType secteur g�opolitique and Democracy proposition proposition est une instance de SuffrageLaw proposition est une sous-proposition de RegionalLawFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 507-511	Secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de OverseasAreaFn secteur g�opolitique dependentAreaOfType secteur g�opolitique, secteur g�opolitique and OverseasArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1456-1462	Secteur g�opolitique est une instance de nation leader secteur g�opolitique and humain position est une instance de position humain occupe la position de position le gouvernment de secteur g�opolitique leaderPosition secteur g�opolitique and position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1465-1469	Secteur g�opolitique est une instance de nation leaderPosition le gouvernment de secteur g�opolitique and position leaderPosition secteur g�opolitique and position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1471-1475	Secteur g�opolitique est une instance de nation leaderPosition secteur g�opolitique and position leaderPosition le gouvernment de secteur g�opolitique and position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2191-2196	Organisation est une instance de SupremeCourt organisation est une partie de l'organization le gouvernment de secteur g�opolitique secteur g�opolitique est une instance de nation organisation est une instance de SupremeCourtFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6938-6942	Secteur g�opolitique est une instance de GeographicPartTypeFn Etat ou province and secteur g�opolitique secteur g�opolitique est une instance de nation primaryGeopoliticalSubdivision secteur g�opolitique and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2362-2369	Agent cognitif est une instance de PoliticalPressureGroup agent cognitif a pour but formule agentOperatesInArea agent cognitif and secteur g�ographique secteur g�ographique est une instance de nation agent cognitif desire le gouvernment de secteur g�ographique croit formule

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	Expellee est un attribut de entit� entit� est un citoyen de entit�-NATION pendant position temporel position temporel est une instance de interval temporel processus objet objet est une instance de nation objet est entit�-NATION processus est une instance de Translocation processus a pour origine objet entit� est un patient de processus processus aboutit � entit�-NATION position temporel est une partie de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3001-3009	Entit� est une instance de InternationalAgreement processus est une instance de investir processus d�finie entit� AutonomousAgent processus est un agent de AutonomousAgent AutonomousAgent est une instance de nation
No TPTP formula. May not be expressible in strict first order.	Government.kif 121-125	Secteur g�opolitique est une instance de secteur g�opolitique le gouvernment de secteur g�opolitique est une instance de NationalGovernment secteur g�opolitique est une instance de nation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17352-17368	Processus est une instance de Immigrating processus est un agent de AutonomousAgent secteur g�opolitique secteur g�opolitique secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de nation processus a pour origine secteur g�opolitique processus aboutit � secteur g�opolitique secteur g�opolitique est secteur g�opolitique AutonomousAgent est un membre de CitizenryFn secteur g�opolitique AutonomousAgent est un membre de CitizenryFn secteur g�opolitique processus a pour but AutonomousAgent vie � secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1176-1180	Objet est une instance de InternalShipRegister AutonomousAgent poss�de objet AutonomousAgent est une instance de nation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1126-1130	Objet est une instance de NationalShipRegister AutonomousAgent poss�de objet AutonomousAgent est une instance de nation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1192-1196	Objet est une instance de OffshoreShipRegister AutonomousAgent poss�de objet AutonomousAgent est une instance de nation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2531-2535	Collection est une instance de OrganizationOfNations physique est un membre de collection physique est une instance de nation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16561-16575	Objet est une instance de Passport AutonomousAgent poss�de objet confersNorm objet, entit� entit� and entit� entit� est une instance de Translocation entit� est un agent de AutonomousAgent entit� a pour origine entit� entit� aboutit � entit� entit� est une instance de nation entit� est une instance de nation entit� est entit� and Permission
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	Processus est une instance de DutyTax processus inclut une r�f�rence � entit� entit� est un patient de processus processus objet and entit� processus est une instance de transf�re entit� est un patient de processus processus a pour origine objet processus aboutit � entit� objet est une instance de nation entit� est une instance de nation objet est entit� temps d'existence de processus arrive plus t�t que temps d'existence de processus processus cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27125-27135	Objet est une instance de TelephoneCommunication Domestic est un attribut de objet objet physique and objet objet a pour origine objet objet aboutit � physique objet est situ� � objet physique est situ� � objet objet est une instance de nation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27142-27154	Objet est une instance de TelephoneCommunication International est un attribut de objet objet physique, objet and objet objet a pour origine objet objet aboutit � physique objet est situ� � objet physique est situ� � objet objet est une instance de nation objet est une instance de nation objet est objet
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 712-724	ExpeditionaryForce est un attribut de objet objet a pour but entit� entit� and entit� objet est une partie de l'organization le gouvernment de entit� entit� est une instance de bataille entit� est un agent de objet entit� est une instance de nation entit� est situ� � entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Government.kif 493-498	Secteur g�opolitique est une instance de OverseasArea secteur g�opolitique secteur g�opolitique est une instance de nation dependentGeopoliticalArea secteur g�opolitique and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 32-41	Processus est une instance de InternationalDispute AutonomousAgent AutonomousAgent AutonomousAgent est une instance de nation AutonomousAgent est une instance de nation AutonomousAgent est AutonomousAgent processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3537-3561	Processus est une instance de Pandemic entit� entit�, entit�, entit�, entit� and entit� involvedInEvent processus and entit� involvedInEvent processus and entit� entit� est entit� entit� est une instance de nation entit� est une instance de nation entit� est entit� entit� est une instance de continent entit� est une instance de continent entit� est entit� entit� est situ� � entit� entit� est situ� � entit� entit� est situ� � entit� entit� est situ� � entit� pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13266-13271	Entit� est une instance de NationalFlag entit� entit� est une instance de nation entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1357-1373	AutonomousAgent est une instance de HostNation processus organisation, secteur g�opolitique and MilitaryOrganization secteur g�opolitique est une instance de nation MilitaryOrganization est une instance de MilitaryForce militaryOfArea MilitaryOrganization and secteur g�opolitique organisation est une partie de l'organization MilitaryOrganization AutonomousAgent est secteur g�opolitique enemy AutonomousAgent and secteur g�opolitique processus est une instance de obtenir processus est un agent de AutonomousAgent organisation est un patient de processus organisation est une instance de MilitaryForce organisation est situ� � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2516-2524	AutonomousAgent est une instance de InternationalOrganization secteur g�ographique secteur g�ographique secteur g�ographique est une instance de nation secteur g�ographique est une instance de nation agentOperatesInArea AutonomousAgent and secteur g�ographique agentOperatesInArea AutonomousAgent and secteur g�ographique secteur g�ographique est secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1006-1015	Processus est une instance de MultinationalDoctrine AutonomousAgent AutonomousAgent processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent AutonomousAgent est une instance de nation AutonomousAgent est une instance de nation AutonomousAgent est AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14237-14242	Objet est une instance de Etat ou province objet objet est une instance de nation objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19692-19700	Affrontement est une instance de CivilWar secteur g�opolitique secteur g�opolitique est une instance de nation secteur g�opolitique contestParticipant affrontement and secteur g�opolitique sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22379-22388	Objet est une instance de EmbassyBuilding AutonomousAgent objet AutonomousAgent est une instance de nation objet est une instance de nation AutonomousAgent est objet AutonomousAgent poss�de objet objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24707-24711	postCountry PostalPlace and secteur g�opolitique secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14220-14229	Agent cognitif a un attribute Treaty Agreement Agreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement Agreement est une instance de nation Agreement est une instance de nation Agreement est Agreement

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Government.kif 923-931

?COUNTRY ?ELECTION, ?VOTING and ?VOTER

?COUNTRY est une instance de nation ?ELECTION est une instance de ElectionFn ?COUNTRY ?VOTING est une instance de VotingFn ?ELECTION ?VOTING est un agent de ?VOTER
?VOTER est un citoyen de ?COUNTRY

contient information VoterCitizenshipRequirement

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

KB Term:			Term intersection

English Word: