CardinalityFn
(=>
(
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 13778-13790
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 22173-22182
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 21713-21728
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 8062-8075
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 9473-9475
Intervalo Temporal
e' uma
instancia
de
Dia
o numero de
instancias
dentro de
decomposicao
de
Intervalo Temporal
em
Hora
s e'
igual
a 24
(=>
(
instance
?HOUR
Hour
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?HOUR
Minute
)) 60))
Merge.kif 9477-9479
Intervalo Temporal
e' uma
instancia
de
Hora
o numero de
instancias
dentro de
decomposicao
de
Intervalo Temporal
em
Minuto
s 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 9481-9483
Intervalo Temporal
e' uma
instancia
de
Minuto
o numero de
instancias
dentro de
decomposicao
de
Intervalo Temporal
em
Segundo
s e'
igual
a 60
(=>
(
instance
?QUAD
Quadrilateral
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE ?QUAD))) 4))
Mid-level-ontology.kif 4916-4921
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
?TRIANGLE
Triangle
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE ?TRIANGLE))) 3))
Mid-level-ontology.kif 4896-4901
Entidade
e' uma
instancia
de
Triangle
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a 3
(=>
(
instance
?WEEK
Week
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?WEEK
Day
)) 7))
Merge.kif 9469-9471
Intervalo Temporal
e' uma
instancia
de
Semana
o numero de
instancias
dentro de
decomposicao
de
Intervalo Temporal
em
Dia
s e'
igual
a 7
(=>
(
instance
?YEAR
Year
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?YEAR
Month
)) 12))
Merge.kif 9459-9461
Intervalo Temporal
e' uma
instancia
de
Ano
o numero de
instancias
dentro de
decomposicao
de
Intervalo Temporal
em
Mes
s 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 22640-22646
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
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