No TPTP formula. May not be expressible in strict first order.	Merge.kif 16285-16292	Colecao e' uma instancia de Grupo Familiar Organismo Organismo Organismo e' membro de Colecao Organismo e' membro de Colecao Organismo e Organismo sao parentes
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7479-7486	Colecao e' uma instancia de GroupOfAnimals Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Animal Fisico e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9093-9102	Objeto e' uma instancia de Inside Objeto Fisico Fisico e' situado em Objeto Objeto Objeto e' uma parte interior de Objeto Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Music.kif 53-58	Lista e' uma instancia de Album Entidade Entidade e' um membro de Lista Entidade e' uma instancia de Recording
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2910-2915	Lista e' uma instancia de Lista Unica Inteiro positivo Inteiro positivo Inteiro positivoth elemento de Lista e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' igual a Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16068-16076	Objeto e' uma instancia de Maquina Processo Objeto e' um instrumento para Processo Objeto Entidade Objeto e' um recurso para Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14906-14917	Objeto e' uma instancia de Carne Objeto Objeto e' uma &parte de Objeto Objeto Posicao Temporal and Entidade Objeto e' uma &parte de Objeto Entidade e' uma instancia de Animal Objeto e' uma &parte de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Communications.kif 369-377	Colecao e' uma instancia de BroadcastNetwork AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Objeto Objeto e' membro de Colecao AutonomousAgent possui Objeto
No TPTP formula. May not be expressible in strict first order.	Communications.kif 362-367	Colecao e' uma instancia de BroadcastNetwork Fisico Fisico e' membro de Colecao Fisico e' uma instancia de BroadcastingStation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8132-8144	Fisico e' uma instancia de Objeto Ponto no tempo Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo comeca antes de Ponto no tempo Ponto no tempo Ponto no tempo ocorre antes ou durante Ponto no tempo Ponto no tempo ocorre antes ou durante Ponto no tempo Fisico existe durante Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16645-16651	Colecao e' uma instancia de Organizacao Formula Fisico Fisico e' membro de Colecao Fisico tem por fim Formula
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 78-88	Objeto e' uma instancia de ParkingLot Colecao Numero Inteiro Colecao e' situado em Objeto Fisico Fisico e' membro de Colecao Fisico e' uma instancia de ParkingRegion memberCount Colecao and Numero Inteiro Numero Inteiro e' maior que 1
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5154-5165	Numero Inteiro e' uma instancia de Numero Primo Numero Inteiro Numero Inteiro mod Numero Inteiro e' igual a 0 Numero Inteiro e' igual a 0 Numero Inteiro e' igual a 1 Numero Inteiro e' igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1140-1151	Colecao e' uma instancia de VisitorProfile AutonomousAgent WebSite AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Formula Formula e' membro de Colecao Formula e' uma instancia de Formula visitorParameter AutonomousAgent, Formula and WebSite
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2301-2308	Entidade e' uma instancia de Relacao Anti-simetrica Entidade Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2355-2363	Entidade e' uma instancia de Relacao Intransitiva Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2254-2258	Entidade e' uma instancia de Relacao Irreflexiva Entidade Entidade Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2267-2272	Entidade e' uma instancia de Relacao Simetrica Entidade Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2381-2390	Entidade e' uma instancia de Relacao totalmente Ordenada Entidade Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2340-2347	Entidade e' uma instancia de Relacao Transitiva Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2316-2331	Entidade e' uma instancia de Relacao Tricotomica Entidade Entidade Entidade Entidade and Entidade Entidade e' igual a Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade e' igual a Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade e' igual a Entidade Entidade Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15847-15859	Fisico e' uma instancia de SingleFamilyResidence Fisico tem por fim Entidade Entidade a casa de Entidade e' Fisico a casa de Entidade e' Fisico Entidade Entidade e' uma instancia de SocialUnit Entidade e' membro de Entidade Entidade e' membro de Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2035-2053	Processo e' uma instancia de ShuttleService Lista Objeto and AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent possui Objeto Objeto e' uma instancia de Automobile Lista e' uma instancia de Lista Entidade Entidade e' um membro de Lista Entidade e' uma instancia de PostalPlace Processo Processo e' uma instancia de Transporte Processo e' um agente de AutonomousAgent Objeto e' um instrumento para Processo Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 562-570	Entidade e' uma instancia de ProcessState Programa de Computador Programa de Computador e' uma instancia de Programa de Computador ComputerProcess programRunning ComputerProcess and Programa de Computador Entidade define ComputerProcess
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3149-3173	Objeto e' uma instancia de Straddle Sequencia Simbolica Medida de Divisa, Ponto no tempo, Numero Inteiro and Sequencia Simbolica o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a Numero Inteiro o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a Numero Inteiro Agreement Agreement e' uma instancia de Option Agreement e' uma &parte de Objeto agreementExpirationDate Agreement and Ponto no tempo strikePrice Agreement and Medida de Divisa
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