Object
(objet)
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
Objet en une partie
est une
instance
de
objet
ConvexRoundShape
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
instance
de
TwoDimensionalObject
GeometricPoint
GeometricPoint
est une
partie
de
objet en une partie
GeometricPoint
est un
attribut
de
GeometricPoint
GeometricPoint
est un
point
de
objet en une partie
GeometricPoint
rencontre
objet en une partie
GeometricPoint
rencontre
objet en une partie
OneDimensionalFigure
la
tangente
de
objet en une partie
est
OneDimensionalFigure
(=>
(
and
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Pliable
))
(
exists
(?CHANGE)
(
and
(
instance
?CHANGE
ShapeChange
)
(
patient
?CHANGE ?OBJ))))
Merge.kif 17746-17753
Objet
est une
instance
de
objet
Pliable
est un
attribut
de
objet
processus
processus
est une
instance
de
changement de forme
objet
est un
patient
de
processus
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
Objet
est une
instance
de
objet
objet
est
partiellement
localis� �
objet
objet
objet
est une
partie
de
objet
objet
est
situ
� �
objet
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4055-4059
Objet
est une
instance
de
objet
objet
est
partiellement
localis� �
objet
objet
recouvre
objet
(=>
(
and
(
instance
?PLACE
Object
)
(
instance
?BLOW
Wind
)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
R�gion
est une
instance
de
objet
physique
est une
instance
de
Wind
la
mesure
de
physique
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
attribut directionnel
surfaceWindVelocity
r�gion
,
mesure de longueur
par
dur�e temporel
and
attribut directionnel
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9601-9607
Entit�
est une
instance
de
r�le d�pendant du cas
objet
est une
instance
de
objet
entit�
physique
and
objet
point temporel
la place
o
�
physique
�tait �
point temporel
recouvre
objet
(=>
(
and
(
instance
?REPAYMENT
Repayment
)
(
instance
?REPAYMENT_DESTINATION
Object
)
(
destination
?REPAYMENT ?REPAYMENT_DESTINATION)
(
instance
?REPAYMENT_ORIGIN
Object
)
(
origin
?REPAYMENT ?REPAYMENT_ORIGIN))
(
exists
(?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
(
and
(
instance
?PAYMENT
Payment
)
(
instance
?PAYMENT_ORIGIN
Object
)
(
instance
?PAYMENT_DESTINATION
Object
)
(
not
(
equal
?PAYMENT ?REPAYMENT))
(
destination
?PAYMENT ?PAYMENT_DESTINATION)
(
origin
?PAYMENT ?PAYMENT_ORIGIN)
(
equal
?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
(
equal
?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))
UXExperimentalTerms.kif 1883-1900
Processus
est une
instance
de
Repayment
processus
_DESTINATION est une
instance
de
objet
processus
aboutit
�
processus
_DESTINATION
processus
_ORIGIN est une
instance
de
objet
processus
a pour
origine
processus
_ORIGIN
processus
processus
_ORIGIN and
processus
_DESTINATION
processus
est une
instance
de
Payment
processus
_ORIGIN est une
instance
de
objet
processus
_DESTINATION est une
instance
de
objet
processus
est
processus
processus
aboutit
�
processus
_DESTINATION
processus
a pour
origine
processus
_ORIGIN
processus
_ORIGIN est
processus
_DESTINATION
processus
_DESTINATION est
processus
_ORIGIN
(=>
(
and
(
instance
?SALE
BargainSale
)
(
patient
?SALE ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SALE))
(
price
?OBJ
(
MeasureFn
?PRICE1 ?U) ?AGENT1))
(
holdsDuring
(
WhenFn
?SALE)
(
price
?OBJ
(
MeasureFn
?PRICE2 ?U) ?AGENT2))
(
lessThan
?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7848-7862
Processus
est une
instance
de
BargainSale
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
nombre r�el
nombre r�el
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
UnitOfCurrency
price
entit�
,
nombre r�el
entit�
(s) and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
price
entit�
,
nombre r�el
entit�
(s) and
entit�
pendant
temps
d'existence de
processus
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
Objet
est une
instance
de
Saw
processus
est une
instance
de
couper
objet
est un
instrument
pour
processus
objet
est une
instance
de
objet
objet
est un
patient
de
processus
processus
entit�
,
entit�
,
interval temporel
,
position temporel
,
position temporel
and
objet
processus
est une
instance
de
d�palcement
processus
est un
sous
-processus de
processus
objet
est une
instance
de
CuttingDevice
objet
est une
partie
de
objet
objet
rencontre
objet
objet
est un
patient
de
processus
position temporel
est une
instance
de
interval temporel
position temporel
est une
instance
de
interval temporel
temps
d'existence de
processus
est
interval temporel
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
entit�
est une
instance
de
attribut directionnel
entit�
est une
instance
de
attribut directionnel
les entit�es dans le processus
processus
bougent
entit�
pendant
position temporel
les entit�es dans le processus
processus
bougent
entit�
entit�
est
entit�
oppositeDirection
entit�
and
entit�
~{
entit�
est
entit�
} ~{
oppositeDirection
entit�
and
entit�
}
pendant
position temporel
(=>
(
and
(
instance
?SEEING
Seeing
)
(
patient
?SEEING ?OBJ)
(
agent
?SEEING ?AGENT)
(
instance
?OBJ
Object
)
(
time
?SEEING ?TIME)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE))
Justice.kif 61-69
Processus
est une
instance
de
voir
objet
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
objet
est une
instance
de
objet
processus
existe
pendant
position temporel
objet
est
situ
� �
objet
pendant
position temporel
observedAtTimeInPlace
objet
,
AutonomousAgent
,
position temporel
and
objet
(=>
(
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
?TRANS
Buying
)
(
attribute
?TRANS
CBT
)
(
patient
?TRANS ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?SELLER
AutonomousAgent
)
(
agent
?TRANS ?BUYER)
(
origin
?TRANS ?SELLER)
(
instance
?BUYER_LOCATION
GeopoliticalArea
)
(
instance
?SELLER_LOCATION
GeopoliticalArea
)
(
located
?SELLER ?SELLER_LOCATION)
(
located
?BUYER ?BUYER_LOCATION)
(
not
(
equal
?BUYER_LOCATION ?SELLER_LOCATION)))))
UXExperimentalTerms.kif 1841-1858
Objet
est une
instance
de
acheter
CBT
est un
attribut
de
objet
entit�
est un
patient
de
objet
entit�
est une
instance
de
objet
objet
AutonomousAgent
,
AutonomousAgent
_LOCATION and
objet
_LOCATION
AutonomousAgent
est une
instance
de
AutonomousAgent
objet
est une
instance
de
AutonomousAgent
objet
est un
agent
de
AutonomousAgent
objet
a pour
origine
objet
AutonomousAgent
_LOCATION est une
instance
de
secteur g�opolitique
objet
_LOCATION est une
instance
de
secteur g�opolitique
objet
est
situ
� �
objet
_LOCATION
AutonomousAgent
est
situ
� �
AutonomousAgent
_LOCATION
AutonomousAgent
_LOCATION est
objet
_LOCATION
(=>
(
and
(
instance
?TRANS
Selling
)
(
attribute
?TRANS
CBT
)
(
patient
?TRANS ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?SELLER
AutonomousAgent
)
(
destination
?TRANS ?BUYER)
(
agent
?TRANS ?SELLER)
(
instance
?BUYER_LOCATION
GeopoliticalArea
)
(
instance
?SELLER_LOCATION
GeopoliticalArea
)
(
located
?SELLER ?SELLER_LOCATION)
(
located
?BUYER ?BUYER_LOCATION)
(
not
(
equal
?BUYER_LOCATION ?SELLER_LOCATION)))))
UXExperimentalTerms.kif 1822-1839
Objet
est une
instance
de
vendre
CBT
est un
attribut
de
objet
entit�
est un
patient
de
objet
entit�
est une
instance
de
objet
AutonomousAgent
physique
,
physique
_LOCATION and
AutonomousAgent
_LOCATION
physique
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
objet
aboutit
�
physique
objet
est un
agent
de
AutonomousAgent
physique
_LOCATION est une
instance
de
secteur g�opolitique
AutonomousAgent
_LOCATION est une
instance
de
secteur g�opolitique
AutonomousAgent
est
situ
� �
AutonomousAgent
_LOCATION
physique
est
situ
� �
physique
_LOCATION
physique
_LOCATION est
AutonomousAgent
_LOCATION
(=>
(
and
(
instance
?WATCH
WatchItem
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?WATCH ?AGENT)
(
patient
?WATCH ?OBJ))
(
inScopeOfInterest
?AGENT ?OBJ))
UXExperimentalTerms.kif 1596-1603
Processus
est une
instance
de
WatchItem
agent cognitif
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
objet
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
agent cognitif
est
interess
� par
entit�
(=>
(
and
(
instance
?WATCH
WatchItem
)
(
instance
?OBJ
Object
)
(
patient
?WATCH ?OBJ)
(
agent
?WATCH ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
watchingListings
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?WATCH))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1605-1621
Interval temporel
est une
instance
de
WatchItem
entit�
est une
instance
de
objet
entit�
est un
patient
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
collection
WebSite
,
position temporel
and
interval temporel
collection
est une
instance
de
collection
WebSite
est une
instance
de
WebSite
interval temporel
est une
instance
de
interval temporel
watchingListings
AutonomousAgent
,
collection
and
WebSite
le
d
�but de
interval temporel
est
fin
de
interval temporel
entit�
est un
membre
de
collection
pendant
position temporel
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
Objet
est une
instance
de
WindFlow
objet
est une
instance
de
objet
objet
est
partiellement
localis� �
objet
elevation
objet
and
nombre r�el
FootLength
(s)
nombre r�el
est plus
petit
ou �gal � 500.0 la
mesure
de
objet
est
mesure de longueur
par
dur�e temporel
surfaceWindSpeed
objet
and
mesure de longueur
par
dur�e temporel
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
measure
?ZEPHYR
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
(
surfaceWindSpeed
?PLACE
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
Weather.kif 159-165
Physique
est une
instance
de
WindFlow
objet
est une
instance
de
objet
physique
est
partiellement
localis� �
objet
la
mesure
de
physique
est
nombre r�el
KnotUnitOfSpeed
(s)
surfaceWindSpeed
objet
and
nombre r�el
KnotUnitOfSpeed
(s)
(=>
(
and
(
listingBidder
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
exists
(?MONEY)
(
bidPrice
?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 109-115
listingBidder
WebListing
and
AutonomousAgent
objet
est une
instance
de
objet
objet
est un
patient
de
WebListing
mesure de devise
bidPrice
objet
,
mesure de devise
and
AutonomousAgent
(=>
(
and
(
listingBuyer
?LISTING ?BUYER)
(
instance
?OBJ
Object
)
(
instance
?SITE
WebSite
)
(
patient
?LISTING ?OBJECT)
(
hostedOn
?LISTING ?SITE))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
eCommerceSite
?BUYING ?SITE)
(
agent
?BUYING ?BUYER))))
UXExperimentalTerms.kif 86-98
listingBuyer
WebListing
and
AutonomousAgent
entit�
est une
instance
de
objet
WebSite
est une
instance
de
WebSite
entit�
ECT est un
patient
de
WebListing
hostedOn
WebListing
and
WebSite
financial transaction
financial transaction
est une
instance
de
acheter
entit�
est un
patient
de
financial transaction
eCommerceSite
financial transaction
and
WebSite
financial transaction
est un
agent
de
AutonomousAgent
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
desires
?AGENT
(
exists
(?SELLING)
(
patient
?SELLING ?OBJ))))
UXExperimentalTerms.kif 61-68
listingSeller
WebListing
and
agent cognitif
entit�
est une
instance
de
objet
entit�
est un
patient
de
WebListing
agent cognitif
desire
entit�
entit�
est un
patient
de
entit�
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
naturalHazardTypeInArea
secteur g�ographique
and
physique
physique
est une
sous
-classe de
objet
physique
physique
est une
instance
de
physique
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
objet
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
entit�
est une
instance
de
entit�
entit�
est un
patient
de
processus
AutonomousAgent
est
capable
de faire
processus
dans le r�le
agent
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
offersAtTime
AutonomousAgent
,
Catalog
and
interval temporel
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
objet
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
entit�
est une
instance
de
entit�
entit�
est un
patient
de
processus
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
interval temporel
capabilityDuring
processus
,
agent
,
AutonomousAgent
and
interval temporel
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
paidFunctionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
aboutit
�
agent cognitif
objet
est une
instance
de
physique
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
objet
est une
instance
de
processus
objet
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
objet
agent cognitif
utilise
objet
nombre r�el
unit� de mesure
price
objet
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
que 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
paidPropertyAmenity
AutonomousAgent
and
physique
processus
est une
instance
de
physique
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
processus
AutonomousAgent
poss
�de
processus
processus
est une
instance
de
objet
agent cognitif
utilise
processus
nombre r�el
unit� de mesure
price
processus
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
que 0
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