No TPTP formula. May not be expressible in strict first order.	Merge.kif 13800-13812	atomicNumber Substancia Elementar and Inteiro positivo Objeto e' uma instancia de Substancia Elementar Objeto e' uma &parte de Objeto Objeto e' uma instancia de Atomo Inteiro positivo e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22172-22181	Celebrity e' um atributo de Objeto Entidade o numero de instancias dentro de a classe descrita por Entidade e' maior que 1000
No TPTP formula. May not be expressible in strict first order.	Government.kif 442-444	cardinality Conjunto ou Classe and Numero Inteiro nao-negativo o numero de instancias dentro de Conjunto ou Classe e' igual a Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	Communications.kif 142-151	communicationSatelliteForArea Area Geopolitica, Satellite and Numero Inteiro Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21712-21727	electronNumber Substancia Pura and Inteiro positivo Objeto Objeto e' uma &parte de Substancia Pura Objeto e' uma instancia de Atomo Objeto e' uma instancia de Molecula Sequencia Simbolica Inteiro positivo e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8061-8074	PerCapitaFn Numero Real Unidade de Medida(s) and Area Geopolitica e' igual a Numero Real Unidade de Medida(s) Numero Inteiro Numero Inteiro e' igual a o numero de instancias dentro de ResidentFn Area Geopolitica Numero Real e' igual a Numero Real + Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Media.kif 2125-2134	exactCardinality Relacao, Numero Inteiro and Numero Inteiro Sequencia Simbolica @ARGS o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4476-4484	Entidade e' uma instancia de Box o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a 6
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2131-2135	Area Geopolitica e' uma instancia de AmericanCity o numero de instancias dentro de ResidentFn Area Geopolitica e' menor ou igual a o numero de instancias dentro de ResidentFn NewYorkCityUnitedStates
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9495-9497	Intervalo Temporal e' uma instancia de Dia o numero de instancias dentro de decomposicao de Intervalo Temporal em Horas e' igual a 24
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9499-9501	Intervalo Temporal e' uma instancia de Hora o numero de instancias dentro de decomposicao de Intervalo Temporal em Minutos e' igual a 60
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1588-1590	Entidade e' uma instancia de PiggybankLoan o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a 2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9503-9505	Intervalo Temporal e' uma instancia de Minuto o numero de instancias dentro de decomposicao de Intervalo Temporal em Segundos e' igual a 60
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4914-4919	Entidade e' uma instancia de Quadrilateral o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a 4
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5542-5547	Entidade e' uma instancia de Conjunto Finito Numero Inteiro Numero Inteiro e' uma instancia de Numero Inteiro nao-negativo Numero Inteiro e' igual a o numero de instancias dentro de Entidade
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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3088-3090	Entidade e' uma instancia de SingleOption o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a 1
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9491-9493	Intervalo Temporal e' uma instancia de Semana o numero de instancias dentro de decomposicao de Intervalo Temporal em Dias e' igual a 7
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9481-9483	Intervalo Temporal e' uma instancia de Ano o numero de instancias dentro de decomposicao de Intervalo Temporal em Mess e' igual a 12
No TPTP formula. May not be expressible in strict first order.	Media.kif 2198-2207	maxCardinality Relacao, Numero Inteiro and Numero Inteiro Sequencia Simbolica @ARGS o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' menor ou igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 750-755	maximumReplications Programa de Computador and Inteiro positivo Inteiro positivo e' maior ou igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22639-22645	memberCount Colecao and Numero Inteiro Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 2161-2170	minCardinality Relacao, Numero Inteiro and Numero Inteiro Sequencia Simbolica @ARGS o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' maior ou igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 733-738	minimumReplications Programa de Computador and Inteiro positivo o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' maior ou igual a Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21687-21702	protonNumber Substancia Pura and Inteiro positivo Objeto Objeto e' uma &parte de Substancia Pura Objeto e' uma instancia de Atomo Objeto e' uma instancia de Molecula Sequencia Simbolica Inteiro positivo e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
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