(=>     (atomicNumber ?TYPE ?NUMBER)     (=>         (and             (instance ?SUBSTANCE ?TYPE)             (part ?ATOM ?SUBSTANCE)             (instance ?ATOM Atom))         (equal ?NUMBER             (CardinalityFn                 (KappaFn ?PROTON                     (and                         (part ?PROTON ?ATOM)                         (instance ?PROTON Proton)))))))	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
(=>     (attribute ?X Celebrity)     (greaterThan         (exists (?A)             (CardinalityFn                 (KappaFn ?A                     (knows ?A                         (exists (?P)                             (equal ?P ?X)))))) 1000))	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
(=>     (cardinality ?SET ?COUNT)     (equal         (CardinalityFn ?SET) ?COUNT))	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
(=>     (communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER)     (equal ?INTEGER         (CardinalityFn             (KappaFn ?SATELLITE                 (and                     (instance ?SATELLITE ?SATELLITETYPE)                     (instance ?SYSTEM CommunicationSystem)                     (located ?SYSTEM ?AREA)                     (engineeringSubcomponent ?SATELLITE ?SYSTEM))))))	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
(=>     (electronNumber ?SUBSTANCE ?NUMBER)     (=>         (exists (?ATOM)             (and                 (part ?ATOM ?SUBSTANCE)                 (or                     (instance ?ATOM Atom)                     (instance ?ATOM Molecule))))         (exists (?ELECTRON)             (equal ?NUMBER                 (CardinalityFn                     (KappaFn ?ELECTRON                         (and                             (part ?ELECTRON ?ATOM)                             (instance ?ELECTRON Electron))))))))	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
(=>     (equal         (PerCapitaFn             (MeasureFn ?QUANTITY1 ?U) ?AREA)         (MeasureFn ?QUANTITY2 ?U))     (exists (?POPULATION)         (and             (equal ?POPULATION                 (CardinalityFn                     (ResidentFn ?AREA)))             (equal ?QUANTITY2                 (DivisionFn ?QUANTITY1 ?POPULATION)))))	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
(=>     (exactCardinality ?REL ?ARG ?COUNT)     (exists (?EL @ARGS)         (equal             (CardinalityFn                 (KappaFn ?EL                     (and                         (?REL @ARGS)                         (equal ?EL                             (ListOrderFn                                 (ListFn @ARGS) ?ARG))))) ?COUNT)))	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
(=>     (instance ?BOX Box)     (equal         (CardinalityFn             (KappaFn ?SIDE                 (or                     (top ?SIDE ?BOX)                     (bottom ?SIDE ?BOX)                     (side ?SIDE ?BOX)))) 6))	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
(=>     (instance ?CITY AmericanCity)     (lessThanOrEqualTo         (CardinalityFn             (ResidentFn ?CITY))         (CardinalityFn             (ResidentFn NewYorkCityUnitedStates))))	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
(=>     (instance ?DAY Day)     (equal         (CardinalityFn             (TemporalCompositionFn ?DAY Hour)) 24))	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
(=>     (instance ?HOUR Hour)     (equal         (CardinalityFn             (TemporalCompositionFn ?HOUR Minute)) 60))	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
(=>     (instance ?Loan PiggybankLoan)     (equal         (CardinalityFn             (KappaFn ?Lender                 (lender ?Loan ?Lender))) 2))	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
(=>     (instance ?MINUTE Minute)     (equal         (CardinalityFn             (TemporalCompositionFn ?MINUTE Second)) 60))	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
(=>     (instance ?QUAD Quadrilateral)     (equal         (CardinalityFn             (KappaFn ?SIDE                 (sideOfFigure ?SIDE ?QUAD))) 4))	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
(=>     (instance ?SET FiniteSet)     (exists (?NUMBER)         (and             (instance ?NUMBER NonnegativeInteger)             (equal ?NUMBER                 (CardinalityFn ?SET)))))	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
(=>     (instance ?Straddle Straddle)     (exists (?Call ?Price ?Date ?Number ?Put)         (and             (equal                 (CardinalityFn                     (KappaFn ?Call                         (and                             (instance ?Call CallOption)                             (part ?Call ?Straddle)))) ?Number)             (equal                 (CardinalityFn                     (KappaFn ?Put                         (and                             (instance ?Put PutOption)                             (part ?Put ?Straddle)))) ?Number)             (forall (?Option)                 (=>                     (and                         (instance ?Option Option)                         (part ?Option ?Straddle))                     (and                         (agreementExpirationDate ?Option ?Date)                         (strikePrice ?Option ?Price)))))))	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
(=>     (instance ?Strategy SingleOption)     (equal         (CardinalityFn             (KappaFn ?Option                 (patient ?Strategy ?Option))) 1))	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
(=>     (instance ?WEEK Week)     (equal         (CardinalityFn             (TemporalCompositionFn ?WEEK Day)) 7))	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
(=>     (instance ?YEAR Year)     (equal         (CardinalityFn             (TemporalCompositionFn ?YEAR Month)) 12))	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
(=>     (maxCardinality ?REL ?ARG ?COUNT)     (exists (?EL @ARGS)         (lessThanOrEqualTo             (CardinalityFn                 (KappaFn ?EL                     (and                         (?REL @ARGS)                         (equal ?EL                             (ListOrderFn                                 (ListFn @ARGS) ?ARG))))) ?COUNT)))	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
(=>     (maximumReplications ?Application ?MaxCopies)     (greaterThanOrEqualTo ?MaxCopies         (CardinalityFn             (KappaFn ?Copy                 (programRunning ?Copy ?Application)))))	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
(=>     (memberCount ?ORG ?NUM)     (equal ?NUM         (CardinalityFn             (KappaFn ?MEM                 (member ?MEM ?ORG)))))	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
(=>     (minCardinality ?REL ?ARG ?COUNT)     (exists (?EL @ARGS)         (greaterThanOrEqualTo             (CardinalityFn                 (KappaFn ?EL                     (and                         (?REL @ARGS)                         (equal ?EL                             (ListOrderFn                                 (ListFn @ARGS) ?ARG))))) ?COUNT)))	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
(=>     (minimumReplications ?Application ?MinCopies)     (greaterThanOrEqualTo         (CardinalityFn             (KappaFn ?Copy                 (programRunning ?Copy ?Application))) ?MinCopies))	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
(=>     (protonNumber ?SUBSTANCE ?NUMBER)     (=>         (exists (?ATOM)             (and                 (part ?ATOM ?SUBSTANCE)                 (or                     (instance ?ATOM Atom)                     (instance ?ATOM Molecule))))         (exists (?PROTON)             (equal ?NUMBER                 (CardinalityFn                     (KappaFn ?PROTON                         (and                             (part ?PROTON ?ATOM)                             (instance ?PROTON Proton))))))))	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