No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1876-1888	Processo e' uma instancia de DefensiveInformationOperation Processo e' um agente de Agente Cognitivo enemy Agente Cognitivo and Agente Cognitivo Agente Cognitivo deseja Agente Cognitivo sabe Entidade Agente Cognitivo deseja Agente Cognitivo nao sabe %n Entidade Processo tem por fim Agente Cognitivo nao sabe %n Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3449-3460	Processo e' uma instancia de Electrocardiography Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent MedicalDoctor e' um atributo de AutonomousAgent Processo tem por fim AutonomousAgent sabe Entidade truth ImpairedBodyPartFn Heart e' um atributo de Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	Objeto e' uma instancia de EngineCylinder Buraco e' uma instancia de Crankcase Fisico e' uma instancia de Piston Processo e' uma instancia de TwoStrokeTransfer Fisico e' situado em Objeto vale durante Processo Objeto e' igual a o dono do buraco Buraco eventLocated Processo and Objeto Fisico tem por fim Fisico completa partialmente Buraco vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	Objeto e' uma instancia de EngineCylinder Buraco e' uma instancia de InternalCombustionChamber Fisico e' uma instancia de Piston Processo e' uma instancia de TwoStrokeIntake Fisico e' situado em Objeto vale durante Processo Objeto e' igual a o dono do buraco Buraco eventLocated Processo and Objeto Fisico tem por fim Fisico completa partialmente Buraco vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1723-1739	Objeto Corpuscular e' uma instancia de Exhaust Fuel e' feito de Objeto Corpuscular Transferencia e' uma instancia de Transferencia Objeto CorpuscularNG e' uma instancia de Engine Transferencia tem como origem Objeto CorpuscularNG Fisico e' uma instancia de CatalyticConverter Transferencia termina em Fisico objectTransferred Transferencia and Objeto Corpuscular Fisico tem por fim Entidade Entidade e' uma instancia de Combustao Fisico e' um instrumento para Entidade Objeto Corpuscular e' um patient de Entidade eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto Entidade e' uma instancia de Fuel Entidade e' uma instancia de UnitOfVolume Objeto contem Entidade a medida de Entidade e' Entidade Entidade(s) EngineFlooded e' um atributo de Objeto vale durante Posicao Temporal Objeto tem por fim Entidade2 Entidade Entidade2 e' uma instancia de Fuel Objeto contem Entidade2 a medida de Entidade2 e' Entidade Entidade(s) Entidade e' maior ou igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2148-2160	Objeto e' uma instancia de EngineCoolingSystem Objeto e' uma instancia de Engine Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Resfriar Objeto e' um instrumento para Entidade Objeto e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11653-11661	Processo e' uma instancia de Processo Educacional Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' uma instancia de Aprender Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 257-270	Processo e' uma instancia de Exfiltration Processo e' um agente de AutonomousAgent Processo Entidade Processo e' uma instancia de Fingir Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo tem por fim Entidade acredita que Processo0 Processo0 e' igual a Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	Componente de Engenharia e' uma instancia de EngineGovernor Componente de Engenharia e' uma instancia de Engine Componente de Engenharia e' conectado a Componente de Engenharia governorSpeed Componente de Engenharia and Numero Real MilesPerHour(s) Componente de Engenharia tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Aparelho Entidade e' uma &parte de Componente de Engenharia Entidade e' uma instancia de Rotating a medida de Entidade e' Entidade MilesPerHour(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2963-2979	Componente de Engenharia e' uma instancia de EngineGovernor Componente de Engenharia e' uma instancia de Vehicle Componente de Engenharia e' conectado a Componente de Engenharia governorSpeed SpeedGovernor and Numero Real MilesPerHour(s) Componente de Engenharia tem por fim Entidade Entidade Entidade e' uma instancia de Translocation a medida de Componente de Engenharia e' Entidade MilesPerHour(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7230-7239	Processo e' uma instancia de Scholarship Processo termina em Entidade Processo tem por fim Entidade Entidade Entidade e' uma instancia de EducationalProgram Entidade exprime o conteudo de Entidade Entidade experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2736-2750	Objeto e' uma instancia de FanBelt Objeto e' uma instancia de EngineFan Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Processo e' uma instancia de Movimento Objeto e' um patient de Processo Objeto tem por fim Processo2 Processo2 e' uma instancia de Rotating Processo causa Processo2 Objeto e' um patient de Processo2
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1960-1975	Processo e' uma instancia de ForeignInternalDefense Processo e' um agente de AutonomousAgent AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade Entidade e' uma instancia de Aprender Entidade experimenta Entidade Entidade e' um agente de AutonomousAgent militaryOfArea Entidade and AutonomousAgent Entidade e' uma instancia de MilitaryForce Entidade e' situado em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Movimento e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Movimento Objeto e' um instrumento para Processo Objeto e' uma instancia de GasTank Objeto e' uma &parte de Objeto Objeto e' uma instancia de EngineCylinder Objeto e' uma &parte de Objeto Movimento tem como origem Objeto Movimento termina em Objeto Objeto e' o caminho ao longo do qual Movimento ocorre Movimento tem por fim ProcessoF ProcessoF e' uma instancia de FuelFilter betweenOnPath Objeto, ProcessoF, Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Processo e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Processo Objeto e' um instrumento para Processo Objeto tem por fim Entidade Entidade Entidade e' uma instancia de GasTank Entidade e' uma &parte de Objeto Entidade e' uma instancia de EngineCylinder Entidade e' uma &parte de Objeto Processo tem como origem Entidade Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8153-8161	CultivatedLandArea e' uma instancia de Garden plantInArea Planta and CultivatedLandArea CultivatedLandArea tem por fim Entidade Entidade e' uma instancia de Recreacao ou Exercicio eventLocated Entidade and CultivatedLandArea
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5369-5379	Processo e' uma instancia de GramStaining Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo tem por fim AutonomousAgent sabe Entidade Entidade e' uma instancia de GramStainAttribute Entidade e' um atributo de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2915-2927	Componente de Engenharia e' uma instancia de SpeedGovernor governorSpeed Componente de Engenharia and Numero Real MilesPerHour(s) Componente de Engenharia e' conectado a Componente de Engenharia Componente de Engenharia tem por fim Numero RealP2 a medida de Componente de Engenharia e' Numero RealP2 MilesPerHour(s) Numero RealP2 e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25113	TelecomNumber e' uma instancia de Hotline telephoneNumber TelecomNumber and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao TelecomNumber tem por fim Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent o argumento Entidade Entidade e' uma instancia de Communicacao TelecomNumber e' um instrumento para Entidade o comeco de tempo de existencia de Entidade e' igual a o comeco de imediatemente apos tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12932-12942	Processo e' uma instancia de Hunting Entidade e' um patient de Processo Processo tem por fim EntidadeROC Entidade e' um patient de EntidadeROC EntidadeROC e' uma instancia de Confinar EntidadeROC e' uma instancia de Matar
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	AutonomousAgent e' uma instancia de Man Mausaharati e' um atributo de AutonomousAgent Processo e' uma instancia de Drumming Processo e' um agente de AutonomousAgent ProcessoAY e' uma instancia de Dia Intervalo Temporal e' uma instancia de Sunrise Intervalo Temporal acontece durante ProcessoAY tempo de existencia de Processo acontence antes de Intervalo Temporal Processo tem por fim Entidade Intervalo TemporalUHUR and Entidade Entidade e' uma instancia de WakingUp Entidade experimenta Entidade Intervalo TemporalUHUR e' uma instancia de Suhur Intervalo TemporalUHUR e' um agente de Entidade tempo de existencia de Entidade acontence antes de tempo de existencia de Intervalo TemporalUHUR tempo de existencia de Entidade acontece durante ProcessoAY tempo de existencia de Intervalo TemporalUHUR acontece durante ProcessoAY
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	WearableItem e' uma instancia de HearingProtection Animal e' uma instancia de Humano Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade WearableItem e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17351-17367	Processo e' uma instancia de Immigrating Processo e' um agente de AutonomousAgent Area Geopolitica Area Geopolitica Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de Nacao Processo tem como origem Area Geopolitica Processo termina em Area Geopolitica Area Geopolitica e' igual a Area Geopolitica AutonomousAgent e' membro de CitizenryFn Area Geopolitica AutonomousAgent e' membro de CitizenryFn Area Geopolitica Processo tem por fim AutonomousAgent vive em Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4123-4133	Transferencia e' uma instancia de Intubation Objeto e' uma instancia de Tube objectTransferred Transferencia and Objeto AutonomousAgent experimenta Transferencia Transferencia tem por fim Entidade Entidade e' uma instancia de Respirar Objeto e' um instrumento para Entidade
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