origin
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
Processus
est une
instance
de
Immigrating
processus
est un
agent
de
AutonomousAgent
secteur g�opolitique
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est une
instance
de
nation
processus
a pour
origine
secteur g�opolitique
processus
aboutit
�
secteur g�opolitique
secteur g�opolitique
est
secteur g�opolitique
AutonomousAgent
est un
membre
de
CitizenryFn
secteur g�opolitique
AutonomousAgent
est un
membre
de
CitizenryFn
secteur g�opolitique
processus
a pour
but
AutonomousAgent
vie
�
secteur g�opolitique
(=>
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))
(
exists
(?BORROW)
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))))
Merge.kif 11744-11755
Processus
est une
instance
de
pr�ter
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
emprunter
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?M
Measuring
)
(
instrument
?M ?R)
(
instance
?R
RTPCRTest
))
(
exists
(?E)
(
and
(
instance
?E
RadiatingLight
)
(
origin
?E ?R))))
Medicine.kif 1589-1597
Processus
est une
instance
de
mesurer
objet
est un
instrument
pour
processus
objet
est une
instance
de
RTPCRTest
processus
processus
est une
instance
de
lumi�re irradiante
processus
a pour
origine
objet
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
Processus
est une
instance
de
FoodPickup
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
humain
objet
processus
and
processus
AutonomousAgent
est
situ
� �
objet
processus
est une
instance
de
Translocation
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
processus
est une
instance
de
obtenir
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 16561-16575
Objet
est une
instance
de
Passport
AutonomousAgent
poss
�de
objet
confersNorm
objet
,
entit�
entit�
and
entit�
entit�
est une
instance
de
Translocation
entit�
est un
agent
de
AutonomousAgent
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
nation
entit�
est une
instance
de
nation
entit�
est
entit�
and
Permission
(=>
(
and
(
instance
?PLUG
ElectricalPlug
)
(
instance
?DEVICE
ElectricDevice
)
(
instance
?OUTLET
ElectricalOutlet
)
(
connectedEngineeringComponents
?DEVICE ?PLUG)
(
completelyFills
?PLUG ?OUTLET)
(
instance
?POWER
PowerSource
)
(
connectedEngineeringComponents
?POWER ?OUTLET))
(
exists
(?RE)
(
and
(
instance
?RE
RadiatingElectromagnetic
)
(
origin
?RE ?POWER)
(
destination
?RE ?DEVICE))))
Mid-level-ontology.kif 25947-25960
Composant d'un appareil
est une
instance
de
ElectricalPlug
composant d'un appareil
est une
instance
de
ElectricDevice
trou
est une
instance
de
ElectricalOutlet
composant d'un appareil
est
connect
� �
composant d'un appareil
composant d'un appareil
remplie
compl
�tement
trou
composant d'un appareil
est une
instance
de
PowerSource
composant d'un appareil
est
connect
� �
trou
processus
processus
est une
instance
de
RadiatingElectromagnetic
processus
a pour
origine
composant d'un appareil
processus
aboutit
�
composant d'un appareil
(=>
(
and
(
instance
?REL
SheddingPart
)
(?REL ?O ?P)
(
instance
?O
Organism
)
(
instance
?P
AnatomicalStructure
)
(
part
?P ?O))
(
exists
(?R)
(
and
(
instance
?R
Removing
)
(
origin
?R ?O)
(
patient
?R ?P))))
Geography.kif 6412-6423
Entit�
est une
instance
de
SheddingPart
entit�
objet
and
objet
objet
est une
instance
de
organisme
objet
est une
instance
de
structure anatomique
objet
est une
partie
de
objet
processus
processus
est une
instance
de
supprimer
processus
a pour
origine
objet
objet
est un
patient
de
processus
(=>
(
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
?Refinancing
Refinancing
)
(
time
?Refinancing ?Time)
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Collateral)
(
borrower
?Loan ?Borrower)
(
currentAccountBalance
?Loan ?Time ?Amount)
(
patient
?Refinancing ?Loan))
(
exists
(?NewLoan ?Payment)
(
and
(
instance
?NewLoan
Loan
)
(
borrower
?NewLoan ?Borrower)
(
securedBy
?Loan ?Collateral)
(
destination
?Payment
(
CurrencyFn
?Loan))
(
time
?Payment ?Time)
(
origin
?Payment
(
CurrencyFn
?NewLoan))
(
transactionAmount
?Payment ?Amount))))
FinancialOntology.kif 1449-1466
Processus
est une
instance
de
Refinancing
processus
existe
pendant
jour
Loan
est une
instance
de
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
agent cognitif
currentAccountBalance
Loan
,
jour
and
mesure de devise
Loan
est un
patient
de
processus
Loan
financial transaction
Loan
est une
instance
de
Loan
borrower
Loan
and
agent cognitif
securedBy
Loan
and
Collateral
financial transaction
aboutit
�
CurrencyFn
Loan
financial transaction
existe
pendant
jour
financial transaction
a pour
origine
CurrencyFn
Loan
transactionAmount
financial transaction
and
mesure de devise
(=>
(
and
(
instance
?S
Swallowing
)
(
agent
?S ?H))
(
exists
(?M ?E ?ST ?O)
(
and
(
instance
?M
Mouth
)
(
instance
?E
Esophagus
)
(
instance
?ST
Stomach
)
(
objectTransferred
?S ?O)
(
origin
?S ?M)
(
destination
?S ?ST)
(
path
?S ?E))))
Mid-level-ontology.kif 6595-6607
Transf�re
est une
instance
de
Swallowing
transf�re
est un
agent
de
AutonomousAgent
objet
objet
,
transf�re
T and
objet
objet
est une
instance
de
Mouth
objet
est une
instance
de
Esophagus
transf�re
T est une
instance
de
Stomach
objectTransferred
transf�re
and
objet
transf�re
a pour
origine
objet
transf�re
aboutit
�
transf�re
T
objet
est le
chemin
le long duquel
transf�re
se produit
(=>
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT))
(
origin
?SELL ?AGENT))
Merge.kif 11933-11937
Processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
(=>
(
and
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?OBJ)
(
attribute
?SOUND
Audible
))
(
exists
(?HUMAN ?HEAR)
(
and
(
instance
?HUMAN
Human
)
(
capability
(
KappaFn
?HEAR
(
and
(
instance
?HEAR
Hearing
)
(
agent
?HEAR ?HUMAN)
(
destination
?HEAR ?HUMAN)
(
origin
?HEAR ?OBJ)))
agent
?HUMAN))))
Merge.kif 13610-13624
Processus
est une
instance
de
son irradiant
processus
est un
agent
de
AutonomousAgent
Audible
est un
attribut
de
processus
objet
cha�ne sympbolique
objet
est une
instance
de
humain
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
agent
(=>
(
and
(
instance
?SPIT
Drooling
)
(
experiencer
?SPIT ?ANIMAL))
(
exists
(?MOUTH ?S)
(
and
(
instance
?MOUTH
Mouth
)
(
objectTransferred
?SPIT ?S)
(
instance
?S
Saliva
)
(
part
?MOUTH ?ANIMAL)
(
origin
?SPIT ?MOUTH))))
Mid-level-ontology.kif 6567-6577
Transf�re
est une
instance
de
Drooling
AutonomousAgent
exp
�rimente
transf�re
objet
objet
objet
est une
instance
de
Mouth
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Saliva
objet
est une
partie
de
AutonomousAgent
transf�re
a pour
origine
objet
(=>
(
and
(
instance
?SPIT
Spitting
)
(
agent
?SPIT ?ANIMAL))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
Mouth
)
(
part
?MOUTH ?ANIMAL)
(
origin
?SPIT ?MOUTH))))
Mid-level-ontology.kif 6553-6561
Processus
est une
instance
de
Spitting
processus
est un
agent
de
AutonomousAgent
objet
objet
est une
instance
de
Mouth
objet
est une
partie
de
AutonomousAgent
processus
a pour
origine
objet
(=>
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
employs
?Org ?Agent)
(
destination
?Service ?Customer))
(
hasPurpose
?Service
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Org)
(
origin
?Transaction ?Customer)))))
FinancialOntology.kif 3590-3601
Processus
est une
instance
de
CommercialService
processus
est un
agent
de
agent cognitif
AutonomousAgent
emploie
agent cognitif
processus
aboutit
�
entit�
processus
a pour
but
entit�
entit�
est une
instance
de
financial transaction
entit�
aboutit
�
AutonomousAgent
entit�
a pour
origine
entit�
(=>
(
and
(
instance
?Statement
BankStatement
)
(
statementAccount
?Statement ?Account))
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
or
(
origin
?Transaction
(
CurrencyFn
?Account))
(
destination
?Transaction
(
CurrencyFn
?Account)))
(
realization
?Statement ?Transaction))))
FinancialOntology.kif 3885-3895
BankStatement
est une
instance
de
BankStatement
statementAccount
BankStatement
and
FinancialAccount
processus
processus
est une
instance
de
financial transaction
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
aboutit
�
CurrencyFn
FinancialAccount
BankStatement
exprime
le contenu de
processus
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
Transf�re
est une
instance
de
Thoracentesis
objet
est un
patient
de
transf�re
transf�re
objet
,
transf�re
N,
objet
,
objet
and
objet
transf�re
est une
instance
de
Inserting
transf�re
est un
sous
-processus de
transf�re
objectTransferred
transf�re
and
objet
transf�re
a pour
origine
objet
transf�re
aboutit
�
transf�re
N
objet
est une
instance
de
Needle
Fluid
est un
attribut
de
objet
objectTransferred
transf�re
and
objet
objet
aboutit
�
objet
objet
est une
instance
de
Lung
objet
est une
instance
de
Chest
objet
est une
partie
de
objet
objet
est une
partie
de
objet
transf�re
a pour
origine
transf�re
N
transf�re
aboutit
�
objet
transf�re
N est
entre
objet
et
objet
objet
est
Outside
�
objet
(=>
(
and
(
instance
?T
TwoStrokeTransfer
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?T ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?T)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 523-536
Processus
est une
instance
de
TwoStrokeTransfer
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
entit�
processus
processus
est une
instance
de
GasMotion
entit�
est une
instance
de
Exhaust
processus
est un
sous
-processus de
processus
processus
a pour
origine
trou
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
Processus
est une
instance
de
Translocation
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
a pour
origine
objet
processus
aboutit
�
objet
processus
aboutit
�
entit�
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
aboutit
�
entit�
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
commence
temps
d'existence de
processus
temps
d'existence de
processus
finit
temps
d'existence de
processus
(=>
(
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
?V
PulmonaryVein
)
(
instance
?T
Transfer
)
(
patient
?T ?B)
(
instrument
?T ?V)
(
instance
?B
Blood
))
(
exists
(?L ?H ?P)
(
and
(
instance
?L
Lung
)
(
origin
?T ?L)
(
part
?V ?P)
(
part
?L ?P)
(
part
?H ?P)
(
instance
?H
Heart
)
(
destination
?T ?H))))
Mid-level-ontology.kif 11157-11172
Objet
est une
instance
de
PulmonaryVein
processus
est une
instance
de
transf�re
entit�
est un
patient
de
processus
objet
est un
instrument
pour
processus
entit�
est une
instance
de
sang
objet
objet
and
objet
objet
est une
instance
de
Lung
processus
a pour
origine
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Heart
processus
aboutit
�
objet
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
Collection
est une
instance
de
Buffet
physique
est un
membre
de
collection
collection
est
situ
� �
objet
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
eventLocated
processus
and
objet
physique
est un
patient
de
processus
objet
est
objet
processus
processus
est une
instance
de
obtenir
physique
est un
patient
de
processus
processus
a pour
origine
objet
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
se produit
avant
temps
d'existence de
processus
(=>
(
and
(
instance
?X
DutyTax
)
(
refers
?X ?OBJ)
(
patient
?X ?OBJ))
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?OBJ)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
earlier
(
WhenFn
?T)
(
WhenFn
?X))
(
causes
?T ?X))))
FinancialOntology.kif 949-964
Processus
est une
instance
de
DutyTax
processus
inclut une
r
�f�rence �
entit�
entit�
est un
patient
de
processus
processus
objet
and
entit�
processus
est une
instance
de
transf�re
entit�
est un
patient
de
processus
processus
a pour
origine
objet
processus
aboutit
�
entit�
objet
est une
instance
de
nation
entit�
est une
instance
de
nation
objet
est
entit�
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
processus
cause
processus
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
Domestic
))
(
exists
(?ORIGIN ?DEST ?COUNTRY)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
located
?ORIGIN ?COUNTRY)
(
located
?DEST ?COUNTRY)
(
instance
?COUNTRY
Nation
))))
Mid-level-ontology.kif 27125-27135
Objet
est une
instance
de
TelephoneCommunication
Domestic
est un
attribut
de
objet
objet
physique
and
objet
objet
a pour
origine
objet
objet
aboutit
�
physique
objet
est
situ
� �
objet
physique
est
situ
� �
objet
objet
est une
instance
de
nation
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
International
))
(
exists
(?ORIGIN ?DEST ?CTRY1 ?CTRY2)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
located
?ORIGIN ?CTRY1)
(
located
?DEST ?CTRY2)
(
instance
?CTRY1
Nation
)
(
instance
?CTRY2
Nation
)
(
not
(
equal
?CTRY1 ?CTRY2)))))
Mid-level-ontology.kif 27142-27154
Objet
est une
instance
de
TelephoneCommunication
International
est un
attribut
de
objet
objet
physique
,
objet
and
objet
objet
a pour
origine
objet
objet
aboutit
�
physique
objet
est
situ
� �
objet
physique
est
situ
� �
objet
objet
est une
instance
de
nation
objet
est une
instance
de
nation
objet
est
objet
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