No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3593-3601	ComputerProcess e' uma instancia de SoftwareInstallation dataProcessed ComputerProcess and DigitalData DigitalData e' uma instancia de Programa de Computador ComputerProcess termina em Entidade ComputerProcess tem por fim DigitalDataROC computerRunning DigitalDataROC and Entidade
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5720-5725	Processo e' uma instancia de Irrigating Entidade e' um patient de Processo Entidade e' uma instancia de Area terrestre Processo tem por fim FertileTerrain e' um atributo de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25828-25840	Objeto e' uma instancia de KnockLight AutonomousAgent e' uma instancia de Humano Deaf e' um atributo de AutonomousAgent AutonomousAgent usa Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Impactar Entidade e' um patient de Entidade Entidade e' uma instancia de Door AutonomousAgent sabe Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	Fisico e' uma instancia de KnockLight Fisico e' situado em Objeto Objeto e' uma instancia de Comodo Objeto e' uma instancia de Door Objeto e' uma &parte de Objeto Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Impactar Objeto e' um patient de Entidade Entidade causa Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade e' uma instancia de RadiatingVisibleLight Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 577-587	Processo e' uma instancia de Locating Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo tem por fim Entidade Entidade e' uma instancia de Regiao AutonomousAgent sabe Entidade e' situado em Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6532-6543	Transferencia e' uma instancia de MoveToEvac objectTransferred Transferencia and Objeto Transferencia tem por fim Entidade Entidade e' uma instancia de Evacuation objectTransferred Entidade and Objeto tempo de existencia de Transferencia acontence antes de tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13123-13130	Processo e' uma instancia de Ducking Processo e' um agente de AutonomousAgent Processo tem por fim Entidade Entidade e' uma instancia de Impactar AutonomousAgent e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	Objeto e' uma instancia de Organismo Objeto e' uma instancia de Egg Embryonic e' um atributo de Objeto Objeto e' uma &parte de Objeto Fisico Fisico e' uma instancia de EggYolk Fisico tem por fim Entidade Entidade e' uma instancia de Ingerir Entidade e' um agente de Objeto Fisico e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22279-22292	Atributo e' uma instancia de OccupationalDomain Fisico e' uma instancia de AttrFn Agente Cognitivo and Atributo Processo typicalAction Processo and AttrFn Agente Cognitivo and Atributo Fisico tem por fim Entidade Entidade e' uma instancia de Processo Fisico e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Biography.kif 156-169	Processo e' uma instancia de Ordaining Fisico e' um patient de Processo Fisico e' uma instancia de Humano Fisico e' membro de Christianity Processo tem por fim Entidade Entidade Entidade e' uma instancia de Ceremony Entidade e' uma instancia de Appointing Entidade e' um sub-processo de Entidade Fisico e' um patient de Entidade appointedPosition Entidade, Fisico and Cleric
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1678-1683	Fisico e' uma instancia de OperationOrder Entidade e' uma instancia de MilitaryOperation Fisico tem por fim coordinates Fisico and Entidade
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1971-1979	Transacao Financeira e' uma instancia de PlacingAnOrder orderFor Transacao Financeira, Transacao Financeira and Security Transacao Financeira tem por fim Entidade Entidade e' uma instancia de Transacao Financeira Security e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2830-2844	Objeto Corpuscular e' uma instancia de DigitalPost AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto Corpuscular e' um componente de WebSite creator AutonomousAgent and Objeto Corpuscular registeredUser AutonomousAgent and WebSite Objeto Corpuscular tem por fim Entidade Entidade e' uma instancia de Disseminar Entidade e' um agente de AutonomousAgent Objeto Corpuscular e' um patient de Entidade WebSite e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	Objeto e' uma instancia de ParkingBrake Objeto e' uma instancia de Vehicle DeviceOn e' um atributo de Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Translocation Objeto e' um patient de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Food.kif 191-201	Processo e' uma instancia de PreservingFood Entidade e' uma instancia de Comida Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' uma instancia de Decomposicao Quimica Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1383-1392	Processo e' uma instancia de PublicProgram AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade e' uma instancia de Helping AutonomousAgent experimenta Entidade AutonomousAgent e' uma instancia de Public
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 250-262	Fisico e' uma instancia de Projectile caliber Gun and Medida de Comprimento Fisico e' uma instancia de Gun a largura de Fisico e' Medida de Comprimento1 Medida de Comprimento e' igual a Medida de Comprimento1 Fisico tem por fim Entidade Entidade e' uma instancia de Atirar Fisico e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1184-1194	Processo e' uma instancia de PsychologicalOperation Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo tem por fim Entidade Entidade Entidade e' um agente de Entidade Entidade e' o resultado de Entidade AutonomousAgent deseja Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 558-570	Processo e' uma instancia de RecoveryOperation Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de a uniao de Classificar e a uniao de Perseguir e a uniao de Discovering e a uniao de Locating e Returning
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15072-15084	Objeto e' uma instancia de Stairway Objeto e' uma &parte de Objeto Objeto e' uma instancia de Predio Objeto tem por fim Entidade Entidade Entidade e' uma instancia de BuildingLevel Entidade e' uma instancia de BuildingLevel Entidade e' uma &parte de Objeto Entidade e' uma &parte de Objeto Objeto conecta Entidade e Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6536-6546	Processo e' uma instancia de Strangling Entidade e' um patient de Processo Entidade e' uma instancia de Humano Processo tem por fim Entidade Entidade e' uma instancia de Respirar Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2388-2404	Processo e' uma instancia de SEO Entidade e' um patient de Processo Processo tem por fim Entidade_BEFORE Entidade_AFTER, Entidade, Entidade, Entidade and Entidade Entidade_BEFORE e' uma instancia de SRPResults Entidade_AFTER e' uma instancia de SRPResults Entidade e' igual a Entidadeth elemento de Entidade_BEFORE Entidade e' igual a Entidadeth elemento de Entidade_AFTER Entidade e' uma instancia de BestMatchAlgorithm Entidade e' uma instancia de BestMatchAlgorithm tempo de existencia de Entidade acontence antes de tempo de existencia de Entidade tempo de existencia de Processo acontence antes de tempo de existencia de Entidade tempo de existencia de Entidade acontence antes de tempo de existencia de Processo Entidade e' maior que Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3397-3425	WearableItem e' uma instancia de SafetyHarness Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Animal e' um patient de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 684-690	Processo e' uma instancia de ReconnaissanceOperation Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Proposicao Processo tem por fim AutonomousAgent sabe Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 694-704	Processo e' uma instancia de ReconnaissanceOperation Processo e' um agente de AutonomousAgent Processo tem por fim Entidade Entidade Entidade e' uma instancia de Attack Entidade e' um agente de AutonomousAgent Entidade e' um patient de 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