No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Military.kif 772-778	Humano e' um cidadao de Nacao Objeto Humano e' situado em Objeto Humano e' situado em Nacao
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Processo o argumento Entidade Entidade and Entidade Entidade e' um elemento de propriedade de AutonomousAgent Entidade e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Fisico Entidade e' um sub-processo de Entidade Entidade e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Government.kif 4648-4657	diplomaticOrganizationType Area Geopolitica, Organizacao and AutonomousAgent Area Geopolitica e' uma instancia de Nacao AutonomousAgent e' uma instancia de Area Geopolitica Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' situado em AutonomousAgent Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4658-4667	diplomaticOrganizationType Organizacao, Organizacao and AutonomousAgent Organizacao e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' situado em AutonomousAgent Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	Objeto e' um elemento de propriedade de Organizacao AnnexRoom e' um atributo de Objeto Objeto e' uma instancia de HotelRoom Objeto Objeto and Organizacao Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de HotelFrontDesk Organizacao e' situado em Objeto Objeto e' um elemento de propriedade de Organizacao Objeto e' um elemento de propriedade de Organizacao Objeto e' uma &parte de Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1522-1535	AutonomousAgent emprega Agente Cognitivo TravelerAccommodation e' um atributo de AutonomousAgent TennisProfessional e' um atributo de Agente Cognitivo guest Agente Cognitivo and AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de Tennis contestParticipant Entidade and Agente Cognitivo contestParticipant Entidade and Agente Cognitivo Entidade e' situado em Entidade AutonomousAgent e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6356-6363	AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de PainFn Parte do Corpo Parte do CorpoART Parte do CorpoART e' uma &parte de Processo Parte do CorpoART e' situado em Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	guest Humano and AutonomousAgent stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent TemporaryResidence e' uma instancia de TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and Fisico Fisico e' uma sub-classe de Objeto Fisico Fisico e' uma instancia de Fisico Fisico e' situado em TemporaryResidence AutonomousAgent autoriza Humano a executar tarefas de tipo Entidade Entidade e' um agente de Humano Fisico e' um instrumento para Entidade Fisico e' um patient de Entidade Fisico e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em Area Geografica vale durante Intervalo Temporal Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Entidade-PLACE and Entidade-RES Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade-RES e' uma instancia de Objeto Entidade-PLACE e' uma instancia de Area Geopolitica Entidade-RES e' situado em Entidade-PLACE Area Geografica e' igual a Entidade-PLACE Entidade e' igual a Entidade-RES geographicSubregion Area Geografica and Entidade-PLACE geographicSubregion Entidade-PLACE and Area Geografica Entidade vive em Entidade-RES vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 874-880	Objeto e' uma instancia de MaritimeClaimsTerritorialSeaFn Regiao a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Fisico e Regiao e' Numero Real Unidade de Medida(s) Numero Real e' menor ou igual a Numero Real Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24018-24027	Processo e' uma instancia de Nascimento Processo tem como origem Objeto Entidade Intervalo Temporal Entidade e' uma instancia de Zygote Intervalo Temporal acontence antes de tempo de existencia de Processo Entidade e' situado em Objeto vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11753-11768	Processo e' uma instancia de Choking AutonomousAgent experimenta Processo Entidade Objeto and Objeto Entidade e' uma instancia de Objeto Objeto e' uma instancia de Trachea Objeto e' uma instancia de Lung Objeto e' uma &parte de AutonomousAgent Objeto e' uma &parte de AutonomousAgent Entidade e' situado em Objeto Entidade e' situado em Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	Processo e' uma instancia de Coughing AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Lung Entidade e' uma instancia de Throat Entidade e' uma instancia de Objeto Entidade e' uma instancia de Remover Entidade e' uma &parte de AutonomousAgent Entidade e' uma &parte de AutonomousAgent objectTransferred Entidade and Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	Processo e' uma instancia de Sneezing AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade, EntidadeOSE and Entidade Entidade e' uma instancia de NasalCavity EntidadeOSE e' uma instancia de Nose EntidadeOSE e' igual a o dono do buraco Entidade Entidade e' uma instancia de Objeto Entidade e' uma instancia de Remover EntidadeOSE e' uma &parte de AutonomousAgent objectTransferred Entidade and Entidade Entidade e' situado em Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement e' uma instancia de CivilAffairsAgreement partyToAgreement Entidade_MIL_THIS and Agreement Entidade_MIL_THIS e' uma instancia de MilitaryOrganization militaryOfArea Entidade_MIL_THIS and Entidade_THIS Entidade_THIS e' uma instancia de Nacao Entidade_MIL_THIS e' situado em Entidade_FRIENDLY Entidade_FRIENDLY e' uma instancia de Nacao Entidade_THIS e' igual a Entidade_FRIENDLY enemy Entidade_THIS and Entidade_FRIENDLY Entidade_FRIENDLY Entidade_FRIENDLY e' situado em Entidade_FRIENDLY partyToAgreement Entidade_FRIENDLY and Agreement Entidade_FRIENDLY e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 755-770	Objeto e' uma instancia de MonoploidCell Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Fisico Fisico e' uma instancia de MonoploidChromosomeSet Fisico e' situado em Objeto Fisico Fisico e' uma instancia de MonoploidChromosomeSet Fisico e' igual a Fisico Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5042-5050	Entidade e' uma instancia de OutdoorClothing Entidade usa Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Predio Entidade e' situado em Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11995-12004	Processo e' uma instancia de Discovering Entidade e' um patient de Processo Entidade e' situado em Entidade vale durante tempo de existencia de Processo Processo Processo e' uma instancia de Aprender Processo e' um sub-processo de Processo Entidade e' situado em Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9985-9993	Processo e' uma instancia de EdemaFn Parte do Corpo AutonomousAgent experimenta Processo Parte do CorpoI Parte do CorpoI e' uma instancia de Parte do Corpo Parte do CorpoI e' uma &parte de AutonomousAgent Processo e' situado em Parte do CorpoI
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 510-516	WearableItem e' uma instancia de Earphone Animal usa WearableItem Objeto e' uma instancia de Head Objeto e' uma &parte de Animal WearableItem e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1949-1971	Processo e' uma instancia de EngineCycle Engine e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de Piston Unidade de Medida e' uma instancia de UnitOfLength Objeto e' uma &parte de Engine Objeto e' um patient de Processo eventLocated Processo and Engine pistonStroke Engine and Numero Real Unidade de Medida(s) Intervalo Temporal Intervalo Temporal, Fisico, Fisico and Numero Real Intervalo Temporal acontece durante tempo de existencia de Processo Intervalo Temporal acontece durante tempo de existencia de Processo Objeto e' situado em Fisico vale durante Intervalo Temporal Objeto e' situado em Fisico vale durante Intervalo Temporal a distancia entre Fisico e Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2447-2454	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Entidade e' uma instancia de Area Geopolitica Processo termina em Entidade Entidade e' situado em Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2421-2430	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Entidade e' uma instancia de Area Geopolitica Entidade e' situado em Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' situado em Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2412-2419	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Objeto e' uma instancia de Area Geopolitica Processo tem como origem Objeto Entidade e' situado em Objeto vale durante o comeco de 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