No TPTP formula. May not be expressible in strict first order.	Law.kif 464-471	counselInCase Humano, AutonomousAgent and Acao Legal Humano deseja Acao LegalD Acao LegalD e' uma instancia de LegalDecision Acao Legal causa Acao LegalD benefits Acao LegalD and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5876-5885	hazardous Fisico and Objeto o argumento Entidade Entidade e' uma instancia de Causar Dano Objeto e' um patient de Entidade involvedInEvent Entidade and Fisico Fisico causa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	emotion.kif 865-877	InterpersonalDisgust e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade Entidade e' uma instancia de Percepcao Entidade e' um patient de Entidade Entidade experimenta Entidade Entidade e' uma instancia de Humano tempo de existencia de Entidade acontece durante Posicao Temporal causa InterpersonalDisgust e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3821-3829	Antivaxxer e' um atributo de Agente Cognitivo vale durante Posicao Temporal Agente Cognitivo acredita que Entidade Entidade Entidade e' uma instancia de Vaccination Entidade e' uma instancia de Causar Dano Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Law.kif 65-78	prohibits AutonomousAgent and Entidade vale durante Intervalo Temporal Processo Entidade and Entidade Processo e' uma instancia de Declarar tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent containsFormula Processo and Entidade e' um agente de Entidade causa truth Entidade and True punishes AutonomousAgent and Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18645-18657	Processo e' uma instancia de Awarding AutonomousAgent AutonomousAgent, Processo and ProcessoWARD AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Processo ProcessoWARD e' uma instancia de Objeto Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent ProcessoWARD e' um patient de Processo Processo termina em AutonomousAgent Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2346-2380	Fisico e' uma instancia de AutomobileTransmission Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Crankshaft Entidade e' uma instancia de Driveshaft Entidade e' uma instancia de Automobile Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' conectado a Fisico Entidade e' conectado a Fisico Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade causa Entidade Entidade causa Entidade Entidade e' igual a Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	Fisico e' uma instancia de BiochemicalAttack Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' um patient de Entidade Fisico causa Entidade Entidade e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21382-21387	Processo e' uma instancia de Bleeding Processo Processo e' uma instancia de Ferir Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 240-255	Processo e' uma instancia de FinalValueFee WebListing Transacao Financeira, AutonomousAgent, Entidade and WebSite WebListing e' uma instancia de WebListing Transacao Financeira e' uma instancia de Vender AutonomousAgent e' uma instancia de AutonomousAgent Entidade e' uma instancia de Fisico WebListing e' uma instancia de WebListing Entidade e' um patient de WebListing Entidade e' um patient de Transacao Financeira Transacao Financeira causa Processo Processo e' um agente de AutonomousAgent hostedOn WebListing and WebSite AutonomousAgent possui WebSite eCommerceSite Transacao Financeira and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 220-230	Processo e' uma instancia de InsertionFee Entidade Processo and AutonomousAgent Entidade e' uma instancia de WebListing Processo e' uma instancia de ListOnSite AutonomousAgent e' uma instancia de AutonomousAgent Entidade e' um patient de Processo Processo causa Processo Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2154-2166	ServiceProcess e' uma instancia de CheckInService Agente Cognitivo Agente Cognitivo, Processo and Processo customer Agente Cognitivo and Agente Cognitivo serviceProvider ServiceProcess and Agente Cognitivo Processo e' uma instancia de Greeting Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de Processo Processo e' um agente de Agente Cognitivo ServiceProcess causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17487-17496	Processo e' uma instancia de CentrifugalMotion Processo Objeto, AutonomousAgent and AutonomousAgent Processo e' uma instancia de Rotating axis Objeto and AutonomousAgent Processo tem como origem Objeto AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17502-17511	Processo e' uma instancia de CentripetalMotion Processo Objeto, AutonomousAgent and AutonomousAgent Processo e' uma instancia de Rotating axis Objeto and AutonomousAgent Processo termina em Objeto AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 599-607	Fisico e' uma instancia de CPR Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de HeartBeat Entidade e' situado em Entidade Fisico causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2274-2286	Fisico e' uma instancia de Distributor Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Engine Entidade e' uma instancia de SparkPlug Entidade e' uma instancia de Spark Entidade e' uma &parte de Fisico Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2325-2337	Fisico e' uma instancia de Driveshaft Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Wheel Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Fisico e' um patient de Entidade Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1788-1795	Objeto e' uma instancia de SwitchDevice Processo Processo and Objeto Objeto e' um instrumento para Processo Processo causa Processo Objeto e' um instrumento para Processo Objeto e' uma instancia de ElectricDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2215-2230	Processo e' uma instancia de EngineCranking Objeto Objeto, Objeto, Processo, Objeto and Processo Objeto e' uma instancia de ElectricalMotor Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de Shaft Objeto e' uma instancia de Crankshaft Objeto e' uma &parte de Objeto Processo e' um sub-processo de Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Objeto e' uma &parte de Objeto Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2519-2532	Fisico e' uma instancia de EngineControlModule Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Engine Entidade e' uma instancia de Processo Entidade e' uma instancia de Processo Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade eventLocated Entidade and Fisico eventLocated Entidade and Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17846-17854	Fisico e' uma instancia de ExplosiveDevice Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Explosion Fisico e' um instrumento para Entidade Entidade causa Entidade Entidade e' uma instancia de Causar Dano
No TPTP formula. May not be expressible in strict first order.	emotion.kif 99-106	Entidade e' uma instancia de EmotionalVoiceUtterances Entidade Entidade Entidade e' uma instancia de Estado Emocional Entidade e' um atributo de Entidade causa Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15836-15841	Processo e' uma instancia de Explosion Processo Processo e' uma instancia de Processo Quimico Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2239-2247	Fisico e' uma instancia de Flywheel Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Fisico e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1630-1642	Processo e' uma instancia de FlashFlooding Processo Numero Real Processo e' uma instancia de WaterMotion Processo causa Processo tempo de existencia de Processo encontra tempo de existencia de Processo a duracao de tempo de existencia de Processo e' Numero Real HourDuration(s) Numero Real e' menos que 6.0
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