No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13504-13513	defaultMinimumMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13515-13526	defaultMinimumMeasure objet and nombre r�el unit� de mesure(s) classe est une sous-classe de NonCompositeUnitOfMeasure unit� de mesure est une instance de classe l'argument entit� nombre r�elUANTITY and entit� entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY entit�(s) entit� est une instance de classe nombre r�elUANTITY est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13466-13476	defaultMinimumSphereRadius objet and nombre r�el unit� de mesure(s) objet est une instance de objet Sphere est un attribut de objet l'argument nombre r�elADIUS sphereRadius objet and nombre r�elADIUS unit� de mesure(s) nombre r�elADIUS est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18485-18490	defaultValue predicat, nombre entier positif and quantit� predicat @ARGS entit� est nombre entier positifth quantit� est entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1522-1535	AutonomousAgent emploie agent cognitif TravelerAccommodation est un attribut de AutonomousAgent TennisProfessional est un attribut de agent cognitif guest agent cognitif and AutonomousAgent l'argument entit� entit� entit� est une instance de Tennis contestParticipant entit� and agent cognitif contestParticipant entit� and agent cognitif entit� est situ� � entit� AutonomousAgent est situ� � entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	AutonomousAgent emploie agent cognitif processus est une instance de DoNetworkMessaging objet est le resultat de processus NSFW est un attribut de objet processus est une instance de voir objet est un patient de processus processus est un agent de agent cognitif l'argument entit� processus cause entit� suffers entit� and agent cognitif a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	AutonomousAgent emploie agent cognitif AutonomousAgent emploie agent cognitif processus est une instance de DoNetworkMessaging objet est le resultat de processus NSFW est un attribut de objet processus est un agent de agent cognitif processus est une instance de voir objet est un patient de processus processus est un agent de agent cognitif l'argument agent cognitifROC processus cause agent cognitifROC suffers agent cognitifROC and agent cognitif a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	engineIdleSpeed InternalCombustionEngine and RotationFn nombre r�el MilesPerHour(s) and dur�e temporel objet est une instance de Automobile processus est une instance de GasPedal processus est une instance de Pushing processus aboutit � objet InternalCombustionEngine est une partie de objet objet est une partie de objet objet est une instance de Crankshaft objet est une partie de InternalCombustionEngine la mesure de objet est RotationFn entit� MilesPerHour(s) and dur�e temporel pendant temps d'existence de processus l'argument entit� est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5284-5291	Objet est OrganicObjectFn objet organique objet est une sous-classe de Hardwood objet organique est une sous-classe de PlantStem l'argument initialPart objet organique and DeciduousTree a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	Objet est OrganicObjectFn objet organique objet est une sous-classe de Softwood objet organique est une sous-classe de PlantStem l'argument initialPart objet organique and Conifers a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	facility AutonomousAgent and objet customer agent cognitif and AutonomousAgent entit� est une instance de objet agent cognitif desire entit� entit� est une instance de processus intentionnel entit� est un patient de entit� entit� est un agent de agent cognitif l'argument AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type agent cognitif utilise entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and physique entit� est une instance de HotelFunctionRoom entit� est un appartenir � AutonomousAgent processus est une instance de Renting entit� est un patient de processus processus est un agent de AutonomousAgent processus aboutit � entit� physique est une sous-classe de objet l'argument entit� entit� entit� est une instance de physique entit� est une instance de processus entit� est une resource pour entit� entit� est un instrument pour entit� entit� est un patient de entit� entit� est un agent de entit� entit� exp�rimente entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	governmentType AutonomousAgent and Monarchy organisme est une instance de humain organisme est une instance de humain chiefOfState AutonomousAgent, entit� and organisme pendant interval temporel organisme et organisme sont parents interval temporel arrive plus t�t que interval temporel l'argument chiefOfState AutonomousAgent, entit� and organisme pendant interval temporel a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4427-4444	hasAccount agent cognitif and UserAccount password ComputerPassword and UserAccount deviceAccount UserAccount and Computer agent cognitif ne conna�t %n{pas} password ComputerPassword and UserAccount agent cognitif conna�t recoveryKey entit� and UserAccount agent cognitif poss�de Computer l'argument entit� entit� est une instance de ChangingPassword UserAccount est un patient de entit� entit� est un agent de agent cognitif a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	emotion.kif 161-172	�tat �motionnel Est un attribut de entit� pendant position temporel actionTendency �tat �motionnel and EmotionalBehavioralProcess l'argument entit� entit� est une instance de EmotionalBehavioralProcess temps d'existence de entit� prend place pendant position temporel entit� exp�rimente entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23915-23931	Menopausal est un attribut de humain pendant interval temporel birthdate humain and jour jour est une instance de le jour nombre entier positif nombre r�el est nombre entier) nombre r�el est nombre entier) point temporel est d�but de interval temporel l'argument point temporel est plus grand que nombre r�el nombre r�el est plus grand que point temporel a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18247-18257	ImpairedBodyPartFn classe est un attribut de objet pendant position temporel classeI est une instance de classe classeI est une partie de objet classeI a pour but formule l'argument formule a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	ChronicFatigueSyndrome est un attribut de AutonomousAgent pendant interval temporel processus est une instance de r�cr�ation ou exercice processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant interval temporel l'argument PostExertionalMalaise est un attribut de AutonomousAgent pendant interval temporel2 temps d'existence de processus arrive plus t�t que interval temporel2 a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3231-3245	Booting est un attribut de composant d'un appareil pendant physique HostReady est un attribut de composant d'un appareil pendant physique2 physique2 est apr�s temps d'existence de physique composant d'un appareil est une instance de ComputerDisplay composant d'un appareil est connect� � composant d'un appareil l'argument entit� entit� est une instance de HomeScreen displayedUpon entit� and composant d'un appareil a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2573-2589	La mesure de objet est function de quantit� pendant position temporel engineIdleSpeed InternalCombustionEngine and function de quantit� objet est une instance de Automobile InternalCombustionEngine est une partie de objet objet est une partie de InternalCombustionEngine l'argument entit� entit� entit� prend place pendant position temporel entit� est une instance de Pushing entit� aboutit � entit� entit� est une partie de objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30650-30671	Dieting est un attribut de AutonomousAgent pendant interval temporel Dieting est un attribut de AutonomousAgent pendant interval temporel objet est une instance de Meal processus est une instance de manger processus est un agent de AutonomousAgent objet est une resource pour processus temps d'existence de processus prend place pendant interval temporel la mesure de objet est nombre r�el Calorie(s) objet est une instance de Meal processus est une instance de manger processus est un agent de AutonomousAgent objet est une resource pour processus temps d'existence de processus prend place pendant interval temporel la mesure de objet est nombre r�el Calorie(s) l'argument nombre r�el est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	Processus est une instance de Anaphylaxis AutonomousAgent exp�rimente processus l'argument entit� entit� est une instance de mort AutonomousAgent exp�rimente entit� processus cause entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2763-2777	Objet est une instance de AntibodyCOVIDTest objet est un instrument pour processus processus est une instance de mesurer objet est un patient de processus objet est une instance de COVIDAntibody objet est une partie de objet l'argument objet conna�t objet objet est une instance de COVIDAntibody objet est une partie de objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4411-4425	AutonomousAgent est une instance de Biped processus est une instance de Ambulating processus est un agent de AutonomousAgent l'argument entit� entit� entit� est une instance de Leg entit� est une instance de Leg entit� est une partie de AutonomousAgent entit� est une partie de AutonomousAgent entit� est un instrument pour processus entit� est un instrument pour processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2230-2239	Processus est une instance de RheumatoidArthritis AutonomousAgent exp�rimente processus l'argument entit� entit� est une instance de JointPain processus cause entit� a la force modale de Likely
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