No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1570-1581	Processo e' uma instancia de ViewItemRequest Processo e' uma instancia de AccessingWebPage Objeto Corpuscular e' uma instancia de ViewItemPage AutonomousAgent e' uma instancia de AutonomousAgent WebListing e' uma instancia de Promover Processo e' um sub-processo de Processo Objeto Corpuscular e' um componente de WebListing Processo termina em Objeto Corpuscular Processo e' um agente de AutonomousAgent viewedListing AutonomousAgent and WebListing
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1647-1668	Processo e' uma instancia de Tornado Processo e' uma instancia de Rotating Objeto e' uma instancia de Air ProcessoRAN e' uma instancia de Translocation Processo e' um sub-processo de Processo ProcessoRAN e' um sub-processo de Processo Objeto e' um patient de ProcessoRAN as entidades no processo ProcessoRAN se movem Horizontal Objeto Objeto auto-conectado, ProcessoOP, Objeto auto-conectado, Objeto auto-conectado and Objeto auto-conectado Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto Objeto auto-conectado e' uma &parte de Objeto ConeSegment e' um atributo de Objeto auto-conectado o topo de Objeto auto-conectado e' ProcessoOP o fundo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Cloud o fundo de Objeto auto-conectado e' Objeto auto-conectado ProcessoOP encontra Objeto auto-conectado Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	Processo e' uma instancia de MultivariateTest Experimenting e' um sub-processo de Processo Experimenting e' um sub-processo de Processo Experimenting e' uma instancia de Experimenting Experimenting e' uma instancia de Experimenting Processo e' uma instancia de Processo Processo e' uma instancia de Processo experimentalVariableProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo Processo Processo e' uma instancia de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Processo e' igual a Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23555-23562	Processo e' uma instancia de Transporte Processo e' um sub-processo de Processo Processo e' uma instancia de Dirigir Objeto e' um instrumento para Processo Objeto e' uma instancia de Veiculo de Transporte Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1579-1588	Processo e' uma instancia de NetworkCommunicationFn BluetoothNetwork Irradiar e' uma instancia de RadiatingElectromagnetic Irradiar e' um sub-processo de Processo carrierFrequency Irradiar and Numero Real 1 bilhao Hertzs (s) Numero Real e' maior que 2.4 Numero Real e' menos que 2.485
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	paidRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence ProcessoRICE Unidade de Medida price Processo, ProcessoRICE Unidade de Medida(s) and Humano Unidade de Medida e' uma instancia de UnitOfCurrency ProcessoRICE e' maior que 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3770-3774	Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo relatedEvent Processo and Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10129-10131	Processo e' um sub-processo de Processo tempo de existencia de Processo e' uma &parte de tempo de existencia de Processo

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