No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1890-1900	Organisme est un parent de organisme organisme est une instance de HumanChild organisme est une instance de HumanBaby l'argument entit� entit� est une instance de ChildCareService organisme desire entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 318-328	prosecutor action l�gale and agent cognitif defendant action l�gale and agent cognitif agent cognitif desire entit� entit� est une instance de LegalDecision entit� inclut une r�f�rence � action l�gale agent cognitif ne veut %n{pas} entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30944-30959	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30886-30896	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30961-30975	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de quantit� physique agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de objet la mesure de entit� est quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30900-30909	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de quantit� physique agent cognitif desire entit� entit� est une instance de objet la mesure de entit� est quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2777-2782	Agent cognitif veut physique physique est une instance de objet agent cognitif desire agent cognitif poss�de physique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1257-1271	watchingListings AutonomousAgent, collection and WebSite processus est une instance de WebListing entit� est une instance de objet entit� est un patient de processus processus est un membre de collection l'argument AutonomousAgent desire entit� entit� est une instance de acheter entit� est un patient de entit� entit� est un agent de AutonomousAgent a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 690-700	webcart agent cognitif, collection and WebSite physique est une instance de objet physique est un membre de collection agent cognitif desire entit� entit� est une instance de acheter physique est un patient de entit� entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19827-19836	Bored est un attribut de AutonomousAgent processus processus est une instance de processus intentionnel processus est un agent de AutonomousAgent AutonomousAgent desire processus est un agent de AutonomousAgent pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19790-19796	Hungry est un attribut de agent cognitif agent cognitif desire entit� entit� est une instance de manger entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	emotion.kif 766-775	Schadenfreude est un attribut de objet objet2 formule causesProposition formule and Schadenfreude est un attribut de objet objet est objet2 objet2 ne desire %n{pas} formule
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19803-19809	Thirsty est un attribut de agent cognitif agent cognitif desire entit� entit� est une instance de boire entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19815-19821	Tired est un attribut de agent cognitif agent cognitif desire entit� entit� est une instance de Sleeping entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22542-22550	PoliticalFigure est un attribut de agent cognitif collection collection est une instance de gouvernement agent cognitif est un membre de collection agent cognitif desire agent cognitif est un membre de collection
No TPTP formula. May not be expressible in strict first order.	Law.kif 464-471	counselInCase humain, AutonomousAgent and action l�gale humain desire action l�galeD action l�galeD est une instance de LegalDecision action l�gale cause action l�galeD benefits action l�galeD and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7431-7433	dislikes agent cognitif and objet agent cognitif desire agent cognitif ne poss�de %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7375-7383	enjoys agent cognitif and entit� agent cognitif desire entit� entit� est une instance de entit� entit� est un agent de agent cognitif agent cognitif exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18407-18414	Organisation est DepartmentOfPreventingFn organisation and physique organisation ne desire %n{pas} entit� entit� est une instance de physique involvedInEvent entit� and organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7392-7395	fears agent cognitif and formule agent cognitif ne desire %n{pas} formule
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1865-1877	Agent cognitif est situ� � entit� airTemperature entit� and position temporel position temporelU(s) FeelingCold est un attribut de agent cognitif pendant position temporel agent cognitif desire airTemperature entit� and position temporel2 position temporelU(s) position temporel2 est plus grand que position temporel pendant position temporel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1902-1914	Agent cognitif est situ� � entit� airTemperature entit� and position temporel position temporelU(s) FeelingHot est un attribut de agent cognitif pendant position temporel agent cognitif desire airTemperature entit� and position temporel2 position temporelU(s) position temporel est plus grand que position temporel2 pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2095-2103	Insomnia est un attribut de entit� pendant position temporel entit� desire endormi est un attribut de entit� endormi est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5110-5125	RectalTenesmus est un attribut de entit� pendant position temporel entit� desire entit� entit� est une instance de Defecation entit� est un agent de entit� entit� n' a %n{pas} besoin de entit� entit� est une instance de Defecation entit� est un agent de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16433-16439	Sleepy est un attribut de agent cognitif pendant position temporel agent cognitif desire endormi est un attribut de agent cognitif pendant immediatement apr�s position temporel
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