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
substance �l�mentaire
and
nombre entier positif
objet
est une
instance
de
substance �l�mentaire
objet
est une
partie
de
objet
objet
est une
instance
de
atome
nombre entier positif
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
(=>
(
attribute
?X
Celebrity
)
(
greaterThan
(
exists
(?A)
(
CardinalityFn
(
KappaFn
?A
(
knows
?A
(
exists
(?P)
(
equal
?P ?X)))))) 1000))
Mid-level-ontology.kif 22173-22182
Celebrity
est un
attribut
de
objet
entit�
le nombre d'
instances
dans la
classe
d�crite par
entit�
est
plus
grand
que 1000
(=>
(
cardinality
?SET ?COUNT)
(
equal
(
CardinalityFn
?SET) ?COUNT))
Government.kif 442-444
cardinality
ensemble ou classe
and
nombre entier non n�gatif
le nombre d'
instances
dans
ensemble ou classe
est
nombre entier non n�gatif
(=>
(
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
secteur g�opolitique
,
Satellite
and
nombre entier
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
substance pure
and
nombre entier positif
objet
objet
est une
partie
de
substance pure
objet
est une
instance
de
atome
objet
est une
instance
de
mol�cule
cha�ne sympbolique
nombre entier positif
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
nombre r�el
unit� de mesure
(s) and
secteur g�opolitique
est
nombre r�el
unit� de mesure
(s)
nombre entier
nombre entier
est
instances
dans
ResidentFn
secteur g�opolitique
nombre r�el
est
nombre r�el
+
nombre entier
(=>
(
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
relation
,
nombre entier
and
nombre entier
cha�ne sympbolique
@ARGS le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
nombre entier
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4476-4484
Entit�
est une
instance
de
Box
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est &%�gal � 6
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
Secteur g�opolitique
est une
instance
de
AmericanCity
le nombre d'
instances
dans
ResidentFn
secteur g�opolitique
est plus
petit
ou �gal � le nombre d'
instances
dans
ResidentFn
NewYorkCityUnitedStates
(=>
(
instance
?DAY
Day
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?DAY
Hour
)) 24))
Merge.kif 9473-9475
Interval temporel
est une
instance
de
jour
le nombre d'
instances
dans
decomposition
de
interval temporel
en
heure
s est &%�gal � 24
(=>
(
instance
?HOUR
Hour
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?HOUR
Minute
)) 60))
Merge.kif 9477-9479
Interval temporel
est une
instance
de
heure
le nombre d'
instances
dans
decomposition
de
interval temporel
en
minute
s est &%�gal � 60
(=>
(
instance
?Loan
PiggybankLoan
)
(
equal
(
CardinalityFn
(
KappaFn
?Lender
(
lender
?Loan ?Lender))) 2))
FinancialOntology.kif 1588-1590
Entit�
est une
instance
de
PiggybankLoan
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est &%�gal � 2
(=>
(
instance
?MINUTE
Minute
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MINUTE
Second
)) 60))
Merge.kif 9481-9483
Interval temporel
est une
instance
de
minute
le nombre d'
instances
dans
decomposition
de
interval temporel
en
seconde
s est &%�gal � 60
(=>
(
instance
?QUAD
Quadrilateral
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE ?QUAD))) 4))
Mid-level-ontology.kif 4916-4921
Entit�
est une
instance
de
Quadrilateral
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est &%�gal � 4
(=>
(
instance
?SET
FiniteSet
)
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER
NonnegativeInteger
)
(
equal
?NUMBER
(
CardinalityFn
?SET)))))
Merge.kif 5542-5547
Entit�
est une
instance
de
ensemble fini
nombre entier
nombre entier
est une
instance
de
nombre entier non n�gatif
nombre entier
est
instances
dans
entit�
(=>
(
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
Objet
est une
instance
de
Straddle
cha�ne sympbolique
mesure de devise
,
point temporel
,
nombre entier
and
cha�ne sympbolique
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
nombre entier
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
nombre entier
Agreement
Agreement
est une
instance
de
Option
Agreement
est une
partie
de
objet
agreementExpirationDate
Agreement
and
point temporel
strikePrice
Agreement
and
mesure de devise
(=>
(
instance
?Strategy
SingleOption
)
(
equal
(
CardinalityFn
(
KappaFn
?Option
(
patient
?Strategy ?Option))) 1))
FinancialOntology.kif 3088-3090
Entit�
est une
instance
de
SingleOption
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est &%�gal � 1
(=>
(
instance
?TRIANGLE
Triangle
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE ?TRIANGLE))) 3))
Mid-level-ontology.kif 4896-4901
Entit�
est une
instance
de
Triangle
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est &%�gal � 3
(=>
(
instance
?WEEK
Week
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?WEEK
Day
)) 7))
Merge.kif 9469-9471
Interval temporel
est une
instance
de
semaine
le nombre d'
instances
dans
decomposition
de
interval temporel
en
jour
s est &%�gal � 7
(=>
(
instance
?YEAR
Year
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?YEAR
Month
)) 12))
Merge.kif 9459-9461
Interval temporel
est une
instance
de
ann�e
le nombre d'
instances
dans
decomposition
de
interval temporel
en
mois
s est &%�gal � 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
relation
,
nombre entier
and
nombre entier
cha�ne sympbolique
@ARGS le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est plus
petit
ou �gal �
nombre entier
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
maximumReplications
programme d'ordinateur
and
nombre entier positif
nombre entier positif
est
plus
grand
ou �gal � le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
(=>
(
memberCount
?ORG ?NUM)
(
equal
?NUM
(
CardinalityFn
(
KappaFn
?MEM
(
member
?MEM ?ORG)))))
Mid-level-ontology.kif 22640-22646
memberCount
collection
and
nombre entier
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
relation
,
nombre entier
and
nombre entier
cha�ne sympbolique
@ARGS le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
plus
grand
ou �gal �
nombre entier
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
minimumReplications
programme d'ordinateur
and
nombre entier positif
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
plus
grand
ou �gal �
nombre entier positif
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