No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30839-30850	Entit� est une instance de Carabiner DeviceClosed est un attribut de entit� pendant position temporel l'argument entit� entit� est une instance de ClimbingRope entit� contient entit� a la force modale de Possibility pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30852-30859	Entit� est une instance de Carabiner DeviceOpen est un attribut de entit� pendant position temporel RingTorus est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	Processus est une instance de CheckingVitals processus est un agent de agent cognitif objet est un patient de processus Heart est une instance de Heart Heart est une partie de objet Lung est une instance de Lung Lung est une partie de objet systolicBloodPressure objet and entit� diastolicBloodPressure objet and entit� la mesure de objet est entit� FahrenheitDegree(s) pendant temps d'existence de processus heartRate Heart, temps d'existence de processus and nombre entier breathingRate Lung, temps d'existence de processus and nombre entier agent cognitif conna�t systolicBloodPressure objet and entit� diastolicBloodPressure objet and entit� la mesure de objet est entit� FahrenheitDegree(s) pendant temps d'existence de processus heartRate Heart, temps d'existence de processus and nombre entier breathingRate Lung, temps d'existence de processus and nombre entier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2784-2796	Entit� est une instance de COVIDAntibody Covid19 est un attribut de entit� entit� est une partie de entit� pendant position temporel l'argument Covid19 est un attribut de entit� a la force modale de Unlikely pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11693-11700	Processus est une instance de changement de possession entit� est un patient de processus entit� poss�de entit� pendant le d�but de temps d'existence de processus entit� poss�de entit� pendant la fin de temps d'existence de processus entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 279-285	Entit� est une instance de humain NonFullyFormed est un attribut de entit� pendant position temporel entit� est une instance de HumanYouth pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5037-5045	Entit� est une instance de OutdoorClothing entit� porte entit� pendant position temporel entit� entit� est une instance de immeuble entit� est situ� � entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1926-1940	ComputerProcess est une instance de DataCompression dataProcessed ComputerProcess and DigitalData memorySize DigitalData and nombre r�el entit�(s) pendant immediatement avant temps d'existence de ComputerProcess memorySize DigitalData and nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de ComputerProcess nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4566-4576	Processus est une instance de DeletingAnAccount entit� est une instance de Account hasAccount AutonomousAgent and entit� pendant immediatement avant temps d'existence de processus entit� est un patient de processus processus est un agent de AutonomousAgent hasAccount AutonomousAgent and entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12477-12486	Processus est une instance de detacher entit� est un patient de processus entit� est un patient de processus entit� est connect� � entit� pendant le d�but de temps d'existence de processus entit� est connect� � entit� pendant la fin de temps d'existence de processus objectDetached processus and entit� objectDetached processus and entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	Processus est une instance de mort entit� est une instance de OrganismRemains AutonomousAgent est une instance de organisme entit� est une partie de entit� pendant interval temporel entit� est une partie de AutonomousAgent pendant interval temporel interval temporel arrive plus t�t que interval temporel AutonomousAgent exp�rimente processus entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	Processus est une instance de mort entit� est une instance de OrganismRemains AutonomousAgent est une instance de organisme entit� est une partie de entit� pendant interval temporel entit� est une partie de AutonomousAgent pendant interval temporel interval temporel arrive plus t�t que interval temporel entit� est le resultat de processus AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7016-7030	Processus est une instance de Deposition entit� est un patient de processus la mesure de entit� est nombre r�el Joule(s) pendant immediatement avant temps d'existence de processus la mesure de entit� est nombre r�el Joule(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25215-25222	Entit� est une instance de FaxMachine deviceTelecomNumber entit� and entit� entit� poss�de entit� pendant position temporel faxNumber entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25190-25197	Entit� est une instance de MobileCellPhone deviceTelecomNumber entit� and entit� telephoneNumber entit� and entit� pendant position temporel mobilePhoneNumber entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25064-25071	Entit� est une instance de Telephone entit� poss�de entit� deviceTelecomNumber entit� and entit� pendant position temporel telephoneNumber entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12019-12028	Processus est une instance de Discovering entit� est un patient de processus entit� est situ� � entit� pendant temps d'existence de processus processus processus est une instance de apprendre processus est un sous-processus de processus entit� est situ� � entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	Objet est une instance de EngineCylinder trou est une instance de Crankcase physique est une instance de Piston processus est une instance de TwoStrokeTransfer physique est situ� � objet pendant processus objet est h�te du trou trou eventLocated processus and objet physique a pour but physique remplie partiellemnet trou pendant processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	Objet est une instance de EngineCylinder trou est une instance de InternalCombustionChamber physique est une instance de Piston processus est une instance de TwoStrokeIntake physique est situ� � objet pendant processus objet est h�te du trou trou eventLocated processus and objet physique a pour but physique remplie partiellemnet trou pendant processus
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	Objet est une instance de Eyebrow Healthy est un attribut de objet Standing est un attribut de objet pendant position temporel objet est une partie de objet objetYE objetYE est une instance de Eye objetYE est une partie de objet objet est Above � objetYE
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2794-2813	Objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet entit� est une instance de Fuel entit� est une instance de UnitOfVolume objet contient entit� la mesure de entit� est entit� entit�(s) EngineFlooded est un attribut de objet pendant position temporel objet a pour but entit�2 entit� entit�2 est une instance de Fuel objet contient entit�2 la mesure de entit�2 est entit� entit�(s) entit� est plus grand ou �gal � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	Processus est une instance de d�palcement processus est une instance de Tremor objet est une instance de Damper objet est un patient de processus objet est une partie de objet processus cause processus entit� est une instance de UnitOfLength physicalAmplitude processus and nombre r�el entit�(s) pendant temps d'existence de processus physicalAmplitude processus and nombre r�el entit�(s) pendant immediatement apr�s processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	Entit� est une instance de EngineChoke DeviceOn est un attribut de entit� pendant processus DeviceOff est un attribut de entit� pendant processus objet en une partie est une instance de EngineCylinder capacity objet en une partie and quantit� constante processus est une instance de FourStrokeCompression processus est une instance de FourStrokeCompression eventLocated processus and objet en une partie eventLocated processus and objet en une partie objet est une instance de Air objet est une instance de Fuel objet est une partie de quantit� constanteIX1 objet est une partie de quantit� constanteIX1 la mesure de quantit� constanteIX1 est quantit� constante objet est une instance de Air objet est une instance de Fuel objet est une partie de quantit� constanteIX2 objet est une partie de quantit� constanteIX2 la mesure de quantit� constanteIX2 est quantit� constante unit� de mesure est une instance de unit� de mesure la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) objetM + objetM est plus grand que objetM + objetM
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1881-1900	Processus est une instance de EngineCycle objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet eventLocated processus and objet entit� est une instance de UnitOfVolume maxCylinderVolume objet and nombre r�el entit�(s) pendant temps d'existence de processus nombre r�el interval temporel interval temporel prend place pendant temps d'existence de processus la mesure de objet est nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1851-1870	Processus est une instance de EngineCycle objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet eventLocated processus and objet entit� est une instance de UnitOfVolume minCylinderVolume objet and nombre r�el entit�(s) pendant temps d'existence de processus nombre r�el interval temporel interval temporel prend place pendant temps d'existence de processus la mesure de objet est nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
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