No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 278-286	Objeto e' uma instancia de SoftwareSystem Objeto ComputerProcess Objeto e' uma &parte de Objeto programRunning ComputerProcess and Objeto Formula ComputerProcess tem por fim Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2618-2628	Colecao e' uma instancia de CrossFunctionalTeam Entidade Entidade e' uma instancia de Entidade Agente Cognitivo Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' membro de Colecao Agente Cognitivo esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9437-9442	Objeto e' uma instancia de Tumor Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Tecido
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19691-19699	Contest e' uma instancia de CivilWar Area Geopolitica Area Geopolitica e' uma instancia de Nacao Area Geopolitica contestParticipant Contest and Area Geopolitica sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2215-2224	Fisico e' uma instancia de DataWarehouse Fisico tem por fim Entidade Entidade e' uma instancia de AutonomousAgent Entidade Entidade esta' interessado em Entidade Entidade e' um componente de Fisico
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2204-2213	Fisico e' uma instancia de DataWarehouse Fisico tem por fim Entidade Entidade e' uma instancia de Proposicao Entidade Entidade inclui uma referencia a Entidade Entidade e' um componente de Fisico
No TPTP formula. May not be expressible in strict first order.	Dining.kif 260-265	Colecao e' uma instancia de Buffet Fisico Fisico e' membro de Colecao Fisico e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26496-26508	Objeto e' uma instancia de HighRise Colecao Numero Inteiro Colecao e' uma instancia de Colecao Objeto Objeto e' uma instancia de BuildingLevel Objeto e' uma &parte de Objeto Objeto e' membro de Colecao memberCount Colecao and Numero Inteiro Numero Inteiro e' maior ou igual a 10
No TPTP formula. May not be expressible in strict first order.	Food.kif 1680-1685	Colecao e' uma instancia de Meal Fisico Fisico e' membro de Colecao Fisico e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26092-26110	Fisico e' uma instancia de PublicAddressSystem Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Area terrestre Fisico e' situado em Entidade Entidade e' uma instancia de GroupOfPeople Entidade e' situado em Entidade Entidade e' uma instancia de Som Irradiante Fisico e' um instrumento para Entidade Entidade Entidade e' membro de Entidade Entidade Entidade e' uma instancia de Ouvir Entidade e' um patient de Entidade Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9721-9727	Objeto e' uma parte interior de Objeto Objeto Objeto e' uma parte superficial de Objeto Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4082-4087	Objeto e' situado em Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 705-715	numberOfFloors Predio and Numero Inteiro Colecao Objeto Objeto e' uma instancia de BuildingLevel Objeto e' uma &parte de Predio Objeto e' membro de Colecao memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25997-26002	Objeto auto-conectado e' Surrounded em relacao a Objeto Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 958-963	Substancia e' uma peca de Substancia Classe Substancia e' uma instancia de Classe Substancia e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4348-4362	preventsSubclass Processo and Processo Posicao Temporal Entidade Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14141-14146	Proposicao tem um atributo de Contract Formula Formula e' uma &sub-proposicao de Proposicao o argumento Formula tem a forca modal de Legal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 615-620	propertyPolicy AutonomousAgent and Policy Objeto Objeto e' um elemento de propriedade de AutonomousAgent policyLocationCoverage Policy and Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7665-7671	O radio de Objeto e' Medida de Comprimento GeometricPoint GeometricPoint GeometricPoint e' um ponto de Objeto geometricDistance GeometricPoint, GeometricPoint and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8146-8152	Fisico e' o resultado de Processo Ponto no tempo Ponto no tempo comeca antes de o comeco de tempo de existencia de Processo Fisico nao existe %n durante Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1727-1739	roomAmenity HotelUnit and HotelMiniBar Objeto Colecao and AutonomousAgent Objeto e' uma instancia de HotelUnit Objeto e' um elemento de propriedade de AutonomousAgent Colecao e' uma instancia de HotelMiniBar Colecao e' situado em Objeto Fisico Fisico e' membro de Colecao Medida de Divisa price Fisico, Medida de Divisa and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 463-468	roomAttribute HotelUnit and Atributo Relacional Objeto Objeto e' uma instancia de HotelUnit Atributo Relacional e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 448-453	roomPolicy HotelUnit and Policy Objeto Objeto e' uma instancia de HotelUnit policyLocationCoverage Policy and Objeto
No TPTP formula. May not be expressible in strict first order.	WMD.kif 988-998	secretesToxin Organismo and Toxin AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo Entidade Processo e' uma instancia de Processo Biologico AutonomousAgent experimenta Processo Entidade e' o resultado de Processo Entidade e' uma instancia de Toxin
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2242-2259	siteCatalog Database and WebSite Objeto Colecao and Sequencia Simbolica Colecao e' uma instancia de Colecao Objeto e' uma &parte de Database Objeto define Colecao Objeto Objeto e' membro de Colecao Objeto e' uma instancia de Fisico Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role patient
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