No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	beliefGroupPercentInRegion BeliefGroup, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de BeliefGroup physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	ethnicityPercentInRegion groupe ethnique, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de groupe ethnique physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	languagePercentInRegion langage, nombre r�el and secteur g�ographique collection collection, sentient agent, sentient agent2, nombre r�el1 and nombre r�el2 sentient agent est situ� � secteur g�ographique sentient agent est un membre de collection speaksLanguage sentient agent and langage memberCount collection and nombre r�el1 sentient agent2 est situ� � secteur g�ographique sentient agent2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	Government.kif 3603-3605	Physique est un membre de InternationalRedCrossAndRedCrescentMovement physique est un membre de InternationalFederationOfRedCrossAndRedCrescentSocieties
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22703-22705	memberAtTime objet en une partie, collection and position temporel objet en une partie est un membre de collection pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1297-1302	Collection est une sous-collection appartenant � collection physique physique est un membre de collection physique est un membre de collection
No TPTP formula. May not be expressible in strict first order.	Government.kif 1774-1779	MemberFn organisation est un attribut de objet objet est une instance de AutonomousAgent organisation est une instance de organisation objet est un membre de organisation
No TPTP formula. May not be expressible in strict first order.	People.kif 795-799	Attribut est un attribut de objet attribut est une instance de Christian objet est un membre de Christianity
No TPTP formula. May not be expressible in strict first order.	Military.kif 249-253	Attribut est un attribut de objet attribut est une instance de MilitaryRank objet est un membre de MilitaryService
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 147-154	Collection est un appartenir � AutonomousAgent collection est une instance de RoomInventory physique physique est un membre de collection physique est un appartenir � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10540-10549	Processus est une instance de processus organisationnel processus est un agent de AutonomousAgent AutonomousAgent est une instance de organisation collection collection est une instance de organisation AutonomousAgent est un membre de collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10562-10571	Processus est une instance de processus religieux processus est un agent de AutonomousAgent AutonomousAgent est une instance de organisation religieuse collection AutonomousAgent est un membre de collection collection est une instance de organisation religieuse
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite collection collection est une instance de collection WebListing WebListing est une instance de WebListing hostedOn WebListing and WebSite listingSeller WebListing and AutonomousAgent WebListing est un membre de collection SellersItemsFn AutonomousAgent and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	Government.kif 1797-1803	Objet est une instance de humain organisation est une instance de organisation position est une instance de position MemberRoleFn organisation and position est un attribut de objet objet est un membre de organisation
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.	UXExperimentalTerms.kif 1326-1342	Interval temporel est une instance de AddToCart entit� est une instance de objet entit� est un patient de interval temporel interval temporel est un agent de AutonomousAgent collection WebSite, position temporel and interval temporel collection est une instance de collection WebSite est une instance de WebSite interval temporel est une instance de interval temporel webcart AutonomousAgent, collection and WebSite le d�but de interval temporel est fin de interval temporel entit� est un membre de collection pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Military.kif 257-264	Attribut est une instance de USMilitaryRank attribut est un attribut de objet MilitaryOrganization objet est un membre de MilitaryOrganization militaryOfArea MilitaryOrganization and UnitedStates
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	AutonomousAgent est une instance de CavalryUnit interval temporel est une instance de bataille interval temporel est un agent de AutonomousAgent AutonomousAgent entit� and interval temporel Soldier est un attribut de AutonomousAgent AutonomousAgent est un membre de AutonomousAgent interval temporel est une instance de transporter interval temporel est un agent de AutonomousAgent entit� est une instance de Vehicle entit� est un patient de interval temporel interval temporel prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objet est une instance de Crystal MonoCrystalline est un attribut de objet objet en une partie est une instance de substance Solid est un attribut de objet en une partie PolyCrystalline est un attribut de objet en une partie objet en une partie est une instance de substance objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objetLNT nombre entier and objet objetLNT est une instance de collection memberCount objetLNT and nombre entier nombre entier est plus grand ou �gal � 4 objet est un membre de objetLNT objet est une partie de objet en une partie objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	Collection est une instance de collection physique physique est un membre de collection physique est une instance de financial transaction cha�ne sympbolique entit� le nombre d' instances dans la classe d�crite par cha�ne sympbolique est BoughtItemsFn collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	Collection est une instance de collection physique physique est un membre de collection physique est une instance de WebListing le nombre d' instances dans entit� entit� and entit� la classe d�crite par entit� + le nombre d' instances dans collection est BidCountFn collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	Collection est une instance de collection physique physique est un membre de collection physique est une instance de WebListing cha�ne sympbolique entit�, entit� and cha�ne sympbolique le nombre d' instances dans la classe d�crite par cha�ne sympbolique est BidCountFn collection
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	Processus est une instance de Evacuation processus est un agent de organisation AutonomousAgent exp�rimente processus processus processusA processus est une instance de classifier processus est un sous-processus de processus AutonomousAgent exp�rimente processus processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation processus est un agent de processusA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	Processus est une instance de Evacuation processus est un agent de organisation processus a pour origine objet processus processusA processus est une instance de Translocation processus est un sous-processus de processus processus a pour origine objet processusA exp�rimente processus processus est un agent de processusA processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	Processus est une instance de Evacuation AutonomousAgent exp�rimente processus processus est un agent de organisation processus processusA processus est une instance de processus therapeutique processus est un sous-processus de processus processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation processus est un agent de processusA AutonomousAgent exp�rimente processus
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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