DivisionFn
(=>
(
and
(
instance
?SELLINGS
Collection
)
(
instance
?GMV
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMV
(
GMVFn
?SELLINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?SELLING)
(
and
(
member
?SELLING ?SELLINGS)
(
patient
?SELLING ?ITEM))))))))
(
equal
(
ASPFn
?SELLINGS)
(
DivisionFn
?GMV ?TOTAL)))
UXExperimentalTerms.kif 3282-3302
Collection
est une
instance
de
collection
nombre r�el
est une
instance
de
mesure de devise
nombre entier
est une
instance
de
nombre r�el
nombre r�el
est
GMVFn
collection
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
ASPFn
collection
est
nombre r�el
+
nombre entier
(=>
(
and
(
instance
?T
ElectricalTransformer
)
(
instance
?WC1
WireCoil
)
(
instance
?WC2
WireCoil
)
(
coilCount
?WC1 ?N1)
(
coilCount
?WC2 ?N2)
(
holdsDuring
?T
(
measure
?WC1
(
MeasureFn
Volt
?V1))))
(
and
(
holdsDuring
?T
(
measure
?WC2
(
MeasureFn
Volt
?V2)))
(
equal
?V2
(
MultiplicationFn
?V1
(
DivisionFn
?N2 ?N1)))))
Cars.kif 3095-3109
Position temporel
est une
instance
de
ElectricalTransformer
WireCoil
est une
instance
de
WireCoil
WireCoil
est une
instance
de
WireCoil
coilCount
WireCoil
and
nombre entier
coilCount
WireCoil
and
nombre entier
la
mesure
de
WireCoil
est
Volt
nombre r�el
(s)
pendant
position temporel
la
mesure
de
WireCoil
est
Volt
nombre r�el
(s)
pendant
position temporel
nombre r�el
est
nombre r�el
+
nombre entier
+
nombre entier
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?HYPERLINK
HypertextLink
)
(
forall
(?ACCESSING)
(
and
(
member
?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
component
?PAGE ?HYPERLINK)))))
(
exists
(?CLICKS)
(
and
(
instance
?CLICKS
Collection
)
(
forall
(?CLICK)
(=>
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?HYPERLINK))
(
member
?CLICK ?CLICKS)))
(
equal
(
ClickThroughRateFn
?VISITS ?HYPERLINK)
(
DivisionFn
(
CardinalityFn
?CLICKS)
(
CardinalityFn
?VISITS))))))
UXExperimentalTerms.kif 3333-3356
Collection
est une
instance
de
collection
objet corpusculaire
est une
instance
de
HypertextLink
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AccessingWebPage
collection
est un
composant
de
objet corpusculaire
collection
collection
est une
instance
de
collection
processus
processus
est une
instance
de
RequestingHyperlink
objet corpusculaire
est un
patient
de
processus
processus
est un
membre
de
collection
ClickThroughRateFn
collection
and
objet corpusculaire
est
instances
dans
collection
+ le nombre d'
instances
dans
collection
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
Collection
est une
instance
de
collection
collection
est une
instance
de
collection
collection
est une
sous
-collection appartenant �
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AccessingWebPage
processus
AutonomousAgent
,
processus
,
processus
and
objet
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
acheter
processus
est une
instance
de
AccessingWebPage
objet
est une
instance
de
WebPage
processus
est un
membre
de
collection
processus
aboutit
�
objet
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
objet
est un
instrument
pour
processus
processus
est un
membre
de
collection
interval temporel
entit�
_IN_INTERVAL and
entit�
_IN_INTERVAL
SCRFn
collection
and
interval temporel
est
instances
dans la
classe
d�crite par
entit�
_IN_INTERVAL + le nombre d'
instances
dans la
classe
d�crite par
entit�
_IN_INTERVAL
(=>
(
and
(
measure
?P1
(
MeasureFn
?N1
Lumen
))
(
measure
?P2
(
MeasureFn
?N2
Lumen
))
(
part
?P1 ?O)
(
part
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
greaterThan
?N1 ?N2)
(
equal
(
DivisionFn
?N1 ?N2) ?R)
(
contrastRatio
?O ?R))
(
not
(
exists
(?P3 ?P4 ?N3 ?N4)
(
and
(
measure
?P3
(
MeasureFn
?N3
Lumen
))
(
measure
?P4
(
MeasureFn
?N4
Lumen
))
(
part
?P3 ?O)
(
part
?P4 ?O)
(
not
(
equal
?P3 ?P4))
(
greaterThan
?N3 ?N4)
(
greaterThan
(
DivisionFn
?N3 ?N4) ?R)))))
ComputingBrands.kif 3735-3756
La
mesure
de
objet
est
nombre r�el
Lumen
(s) la
mesure
de
objet
est
nombre r�el
Lumen
(s)
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
objet
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
+
nombre r�el
est
nombre r�el
contrastRatio
objet
and
nombre r�el
objet
objet
,
nombre r�el
and
nombre r�el
la
mesure
de
objet
est
nombre r�el
Lumen
(s) la
mesure
de
objet
est
nombre r�el
Lumen
(s)
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
objet
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
+
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
AutonomousAgent
poss
�de
objet
la
mesure
de
objet
est
nombre r�el
ShareUnit
(s)
splitFor
StockSplit
,
nombre entier
and
nombre entier
entit�
est
nombre r�el
+
nombre entier
entit�
est
entit�
+
nombre entier
la
mesure
de
objet
est
entit�
ShareUnit
(s)
pendant
immediatement
apr
�s
temps
d'existence de
StockSplit
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17906-17931
relativeAngle
objet
,
objet
and
nombre r�el
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
le
longueur
de
objet
est
nombre r�el
1
unit� de mesure
(s) le
longueur
de
objet
est
nombre r�el
2
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
3
unit� de mesure
(s)
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
ne
rencontre
%n{pas}
objet
nombre r�el
est
ArcCosineFn
((
nombre r�el
3 +
nombre r�el
3 +
nombre r�el
1 +
nombre r�el
1) +
nombre r�el
2 +
nombre r�el
2) + 2.0 +
nombre r�el
1 +
nombre r�el
2
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N1 ?N2))
Unlikely
))
Mid-level-ontology.kif 29847-29853
approximateValue
nombre r�el
and
nombre r�el
l'argument 0.9 est
plus
grand
que
nombre r�el
+
nombre r�el
a la
force
modale
de
Unlikely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N2 ?N1))
Unlikely
))
Mid-level-ontology.kif 29855-29861
approximateValue
nombre r�el
and
nombre r�el
l'argument 0.9 est
plus
grand
que
nombre r�el
+
nombre r�el
a la
force
modale
de
Unlikely
(=>
(
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
(=>
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?DISTANCE
NauticalMile
)
(
MeasureFn
?TIME
HourDuration
)))
(
equal
?SPEED
(
MeasureFn
(
DivisionFn
?DISTANCE ?TIME)
KnotUnitOfSpeed
)))
Geography.kif 3929-3937
Function de quantit�
est
nombre r�el
NauticalMile
(s)
par
nombre r�el
HourDuration
(s)
function de quantit�
est
nombre r�el
+
nombre r�el
KnotUnitOfSpeed
(s)
(=>
(
instance
?DEGREE
RealNumber
)
(
equal
(
TangentFn
?DEGREE)
(
DivisionFn
(
SineFn
?DEGREE)
(
CosineFn
?DEGREE))))
Merge.kif 5239-5245
Nombre r�el
est une
instance
de
nombre r�el
la
tangente
de
nombre r�el
est
sinus
de
nombre r�el
+ le
cosinus
de
nombre r�el
(=>
(
property
?PROCESS
ChemicalEquilibrium
)
(
exists
(?RATIO ?TIME ?RESOURCE ?RESULT)
(=>
(
and
(
holdsDuring
?TIME
(
resource
?PROCESS ?RESOURCE))
(
holdsDuring
?TIME
(
result
?PROCESS ?RESULT)))
(
equal
?RATIO
(
DivisionFn
?RESOURCE ?RESULT)))))
Mid-level-ontology.kif 19635-19642
Entit�
a un
attribute
ChemicalEquilibrium
nombre r�el
position temporel
,
nombre r�el
and
nombre r�el
nombre r�el
est une
resource
pour
entit�
pendant
position temporel
nombre r�el
est le
resultat
de
entit�
pendant
position temporel
nombre r�el
est
nombre r�el
+
nombre r�el
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