No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12858-12862	Objeto e' uma instancia de Breast Objeto e' uma &parte de Objeto Female e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5009-5013	Objeto e' uma instancia de Bubble Objeto e' uma parte interior de Objeto Gas e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5015-5024	Objeto e' uma instancia de Bubble Objeto Atributo Atributo e' um atributo de Objeto Objeto e' igual a Gas Objeto encontra Objeto ConvexRoundShape e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16362-16372	Processo e' uma instancia de SoberingUp AutonomousAgent experimenta Processo Drunk e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Sober e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 840-847	Fisico e' uma instancia de BoosterChair AutonomousAgent e' uma instancia de HumanChild Fisico tem finalidade Sitting e' um atributo de AutonomousAgent eventLocated AutonomousAgent and Fisico para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18139-18144	Objeto e' uma instancia de Corpo Reprodutor Objeto e' uma &parte de Objeto Objeto e' uma instancia de Organismo Female e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13955-13963	Processo e' uma instancia de Ferver Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Liquid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Gas e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4692-4696	Objeto auto-conectado e' uma instancia de Bottle Objeto auto-conectado contem Objeto Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30795-30801	Entidade e' uma instancia de Carabiner DeviceClosed e' um atributo de Entidade vale durante Posicao Temporal RingTorus e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30816-30823	Entidade e' uma instancia de Carabiner DeviceOpen e' um atributo de Entidade vale durante Posicao Temporal RingTorus e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23767-23778	Processo e' uma instancia de CausingHappiness Entidade e' um patient de Processo Happiness e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Happiness e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23788-23799	Processo e' uma instancia de CausingUnhappiness Entidade e' um patient de Processo Unhappiness e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Unhappiness e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8386-8399	AutonomousAgent e' uma instancia de CavalryUnit Intervalo Temporal e' uma instancia de Batalha Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent Entidade and Intervalo Temporal Soldier e' um atributo de AutonomousAgent AutonomousAgent e' membro de AutonomousAgent Intervalo Temporal e' uma instancia de Transporte Intervalo Temporal e' um agente de AutonomousAgent Entidade e' uma instancia de Vehicle Entidade e' um patient de Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	Fisico e' uma instancia de Cavitating Objeto auto-conectado e' uma instancia de Pump DeviceOn e' um atributo de Objeto auto-conectado Liquid e' um atributo de Objeto Objeto auto-conectado contem Objeto Objeto auto-conectadoP Entidade Objeto auto-conectadoP e' uma &parte de Objeto auto-conectado Objeto auto-conectadoP tem por fim Liquid e' um atributo de Entidade Entidade encontra Objeto auto-conectadoP Entidade Liquid e' um atributo de Entidade Objeto auto-conectadoP encontra Entidade vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1886-1892	Processo e' uma instancia de Chills AutonomousAgent experimenta Processo FeelingCold e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1141-1147	Processo e' uma instancia de Crying AutonomousAgent experimenta Processo Sadness e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2784-2796	Entidade e' uma instancia de COVIDAntibody Covid19 e' um atributo de Entidade Entidade e' uma &parte de Entidade vale durante Posicao Temporal o argumento Covid19 e' um atributo de Entidade tem a forca modal de Unlikely vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12621-12632	Processo e' uma instancia de Mudanca Interna Entidade e' um patient de Processo Entidade Entidade e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19378-19391	Atributo e' uma instancia de SecondaryColor Atributo e' um atributo de Objeto Processo Objeto, Objeto, Atributo and Atributo Objeto e' o resultado de Processo Objeto e' um recurso para Processo Objeto e' um recurso para Processo Atributo e' um atributo de Objeto Atributo e' um atributo de Objeto Atributo e' uma instancia de Cor Primaria Atributo e' uma instancia de Cor Primaria Atributo e' igual a Atributo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12658-12672	Processo e' uma instancia de Colorir Objeto e' um patient de Processo Entidade Objeto Objeto e' uma &parte de Objeto Entidade e' uma instancia de Atributo de Cor Entidade e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14001-14009	Processo e' uma instancia de Condensar Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Gas e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Liquid e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Media.kif 1867-1871	Processo e' uma instancia de MusicalConducting Processo e' um agente de AutonomousAgent MusicalConductor e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18505-18514	Processo e' uma instancia de MusicalConducting Entidade e' um patient de Processo Entidade e' uma instancia de Musician Entidade e' uma instancia de MusicalGroup Entidade e' um atributo de Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Government.kif 875-879	Objeto e' uma instancia de RegionalLaw Proposicao e' uma &sub-proposicao de Objeto Law e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30067-30075	Processo e' uma instancia de Causar Dano Entidade e' uma instancia de Aparelho Entidade e' um patient de Processo DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo
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