origin
(=>
(
instance
?E
Exhaling
)
(
exists
(?L)
(
and
(
instance
?L
Lung
)
(
origin
?E ?L))))
Mid-level-ontology.kif 11304-11309
Processus
est une
instance
de
Exhaling
objet
objet
est une
instance
de
Lung
processus
a pour
origine
objet
(=>
(
instance
?EM
ExhaustManifold
)
(
hasPurpose
?EM
(
exists
(?A ?E ?C ?M ?T)
(
and
(
instance
?A
Automobile
)
(
instance
?E
Exhaust
)
(
instance
?C
EngineCylinder
)
(
instance
?M
AutomobileMuffler
)
(
instance
?T
Transfer
)
(
part
?EM ?A)
(
part
?C ?A)
(
part
?M ?A)
(
origin
?T ?C)
(
destination
?T ?M)
(
patient
?T ?E)
(
instrument
?T ?E)))))
Cars.kif 2635-2651
Physique
est une
instance
de
ExhaustManifold
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Automobile
entit�
est une
instance
de
Exhaust
entit�
est une
instance
de
EngineCylinder
entit�
est une
instance
de
AutomobileMuffler
entit�
est une
instance
de
transf�re
physique
est une
partie
de
entit�
entit�
est une
partie
de
entit�
entit�
est une
partie
de
entit�
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
est un
patient
de
entit�
entit�
est un
instrument
pour
entit�
(=>
(
instance
?FILTER
AbsoluteFilter
)
(
hasPurpose
?FILTER
(
exists
(?REMOVE ?GAS)
(
and
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?GAS)
(
instance
?GAS
GasMixture
)
(
instrument
?REMOVE ?FILTER)))))
MilitaryDevices.kif 1368-1376
Physique
est une
instance
de
AbsoluteFilter
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
supprimer
entit�
a pour
origine
entit�
entit�
est une
instance
de
GasMixture
physique
est un
instrument
pour
entit�
(=>
(
instance
?FILTER
AirFilter
)
(
hasPurpose
?FILTER
(
exists
(?REMOVE ?AIR ?NONAIR ?MIX)
(
and
(
instance
?REMOVE
Removing
)
(
part
?AIR ?MIX)
(
instance
?AIR
Air
)
(
not
(
instance
?NONAIR
Air
))
(
attribute
?NONAIR
Solid
)
(
patient
?REMOVE ?NONAIR)
(
part
?NONAIR ?MIX)
(
origin
?REMOVE ?MIX)
(
instance
?MIX
Mixture
)
(
instrument
?REMOVE ?FILTER)))))
Cars.kif 943-958
Physique
est une
instance
de
AirFilter
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
entit�
entit�
est une
instance
de
Air
entit�
est une
instance
de
Air
Solid
est un
attribut
de
entit�
entit�
est un
patient
de
entit�
entit�
est une
partie
de
entit�
entit�
a pour
origine
entit�
entit�
est une
instance
de
mixture
physique
est un
instrument
pour
entit�
(=>
(
instance
?FILTER
Filter
)
(
hasPurpose
?FILTER
(
exists
(?REMOVE ?M)
(
and
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?M)
(
instance
?M
Mixture
)
(
instrument
?REMOVE ?FILTER)))))
Mid-level-ontology.kif 2523-2531
Physique
est une
instance
de
Filter
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
supprimer
entit�
a pour
origine
entit�
entit�
est une
instance
de
mixture
physique
est un
instrument
pour
entit�
(=>
(
instance
?FILTER
FuelFilter
)
(
hasPurpose
?FILTER
(
exists
(?REMOVE ?FUEL ?NONFUEL ?SOLUTION)
(
and
(
instance
?REMOVE
Removing
)
(
part
?FUEL ?SOLUTION)
(
instance
?FUEL
Fuel
)
(
not
(
instance
?NONFUEL
Fuel
))
(
patient
?REMOVE ?NONFUEL)
(
part
?NONFUEL ?SOLUTION)
(
origin
?REMOVE ?SOLUTION)
(
instance
?SOLUTION
Solution
)
(
instrument
?REMOVE ?FILTER)))))
Cars.kif 922-936
Physique
est une
instance
de
FuelFilter
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
entit�
entit�
est une
instance
de
Fuel
entit�
est une
instance
de
Fuel
entit�
est un
patient
de
entit�
entit�
est une
partie
de
entit�
entit�
a pour
origine
entit�
entit�
est une
instance
de
solution
physique
est un
instrument
pour
entit�
(=>
(
instance
?G
Gasket
)
(
hasPurpose
?G
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
CorpuscularObject
)
(
meetsSpatially
?O1 ?G)
(
meetsSpatially
?O2 ?G)
(
not
(
exists
(?H ?D ?T ?O)
(
and
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
instance
?T
Translocation
)
(
path
?T ?H)
(
origin
?T ?O)
(
destination
?T ?D)
(
contains
?O1 ?O)
(
not
(
contains
?O1 ?D))
(
meetsSpatially
?O1 ?D)
(
not
(
exists
(?O3)
(
and
(
contains
?H ?O3)
(
not
(
contains
?O1 ?O3))
(
not
(
contains
?O2 ?O3))))))))))))
Cars.kif 2849-2878
Physique
est une
instance
de
Gasket
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
objet corpusculaire
entit�
est une
instance
de
objet corpusculaire
entit�
rencontre
physique
entit�
rencontre
physique
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
trou
physique
est
h
�te du trou
entit�
entit�
est une
instance
de
Translocation
entit�
est le
chemin
le long duquel
entit�
se produit
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
contient
entit�
entit�
ne
contient
%n{pas}
entit�
entit�
rencontre
entit�
entit�
3
entit�
contient
entit�
3
entit�
ne
contient
%n{pas}
entit�
3
entit�
ne
contient
%n{pas}
entit�
3
(=>
(
instance
?GT
GasTank
)
(
hasPurpose
?GT
(
exists
(?F ?T ?E)
(
and
(
instance
?F
Fuel
)
(
contains
?GT ?F)
(
instance
?E
Engine
)
(
instance
?T
Transfer
)
(
origin
?T ?GT)
(
destination
?T ?E)
(
patient
?T ?F)))))
Cars.kif 1000-1011
Physique
est une
instance
de
GasTank
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
Fuel
physique
contient
entit�
entit�
est une
instance
de
Engine
entit�
est une
instance
de
transf�re
entit�
a pour
origine
physique
entit�
aboutit
�
entit�
entit�
est un
patient
de
entit�
(=>
(
instance
?Investment
TaxFreeInvestment
)
(
not
(
exists
(?Tax)
(
and
(
instance
?Tax
Tax
)
(
origin
?Tax ?Investment)))))
FinancialOntology.kif 2129-2135
Objet
est une
instance
de
TaxFreeInvestment
processus
processus
est une
instance
de
Tax
processus
a pour
origine
objet
(=>
(
instance
?Investment
TaxableInvestment
)
(
exists
(?Tax)
(
and
(
instance
?Tax
Tax
)
(
origin
?Tax ?Investment))))
FinancialOntology.kif 2139-2144
Objet
est une
instance
de
TaxableInvestment
processus
processus
est une
instance
de
Tax
processus
a pour
origine
objet
(=>
(
instance
?L
Sunlight
)
(
origin
?L
Sol
))
Geography.kif 3358-3360
Processus
est une
instance
de
Sunlight
processus
a pour
origine
Sol
(=>
(
instance
?Loan
ConsolidationLoan
)
(
exists
(?Loan1 ?Loan2 ?Payment1 ?Payment2)
(
and
(
instance
?Loan1
Loan
)
(
instance
?Loan2
Loan
)
(
destination
?Payment1
(
CurrencyFn
?Loan1))
(
destination
?Payment2
(
CurrencyFn
?Loan2))
(
origin
?Payment1
(
CurrencyFn
?Loan))
(
origin
?Payment2
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 1523-1532
FinancialAccount
est une
instance
de
ConsolidationLoan
FinancialAccount
1
FinancialAccount
2,
processus
and
processus
FinancialAccount
1 est une
instance
de
Loan
FinancialAccount
2 est une
instance
de
Loan
processus
aboutit
�
CurrencyFn
FinancialAccount
1
processus
aboutit
�
CurrencyFn
FinancialAccount
2
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
a pour
origine
CurrencyFn
FinancialAccount
(=>
(
instance
?MINE
Mine
)
(
hasPurpose
?MINE
(
exists
(?REMOVE ?MINERAL)
(
and
(
instance
?REMOVE
Removing
)
(
patient
?REMOVE ?MINERAL)
(
instance
?MINERAL
Mineral
)
(
origin
?REMOVE ?MINE)))))
Mid-level-ontology.kif 6745-6753
Physique
est une
instance
de
Mine
physique
a pour
but
entit�
physique
RAL
entit�
est une
instance
de
supprimer
physique
RAL est un
patient
de
entit�
physique
RAL est une
instance
de
mineral
entit�
a pour
origine
physique
(=>
(
instance
?MODULE
WebPageModule
)
(
hasPurpose
?MODULE
(
exists
(?TRANSFER ?ORIGIN ?MODULE_SERVER)
(
and
(
instance
?TRANSFER
DataTransfer
)
(
instance
?MODULE_SERVER
PageModuleServer
)
(
instance
?ORIGIN ?MODULE_SERVER)
(
origin
?TRANSFER ?MODULE_SERVER)
(
destination
?TRANSFER ?MODULE)))))
UXExperimentalTerms.kif 2012-2021
Physique
est une
instance
de
WebPageModule
physique
a pour
but
entit�
entit�
and
physique
_SERVER
entit�
est une
instance
de
DataTransfer
physique
_SERVER est une
instance
de
PageModuleServer
entit�
est une
instance
de
physique
_SERVER
entit�
a pour
origine
physique
_SERVER
entit�
aboutit
�
physique
(=>
(
instance
?MS
MuakharSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
holdsDuring
?T1
(
wife
?W ?H))
(
not
(
holdsDuring
?T2
(
wife
?W ?H)))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 285-299
Interval temporel
est une
instance
de
MuakharSadaq
AutonomousAgent
entit�
,
interval temporel
and
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
a pour
origine
AutonomousAgent
interval temporel
aboutit
�
entit�
wife
entit�
and
AutonomousAgent
pendant
interval temporel
wife
entit�
and
AutonomousAgent
pendant
interval temporel
interval temporel
finit
interval temporel
interval temporel
se produit
avant
interval temporel
interval temporel
commence
interval temporel
(=>
(
instance
?MS
MuqaddamSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
not
(
holdsDuring
?T1
(
wife
?W ?H)))
(
holdsDuring
?T2
(
wife
?W ?H))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 305-319
Interval temporel
est une
instance
de
MuqaddamSadaq
AutonomousAgent
entit�
,
interval temporel
and
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
a pour
origine
AutonomousAgent
interval temporel
aboutit
�
entit�
wife
entit�
and
AutonomousAgent
pendant
interval temporel
wife
entit�
and
AutonomousAgent
pendant
interval temporel
interval temporel
finit
interval temporel
interval temporel
se produit
avant
interval temporel
interval temporel
commence
interval temporel
(=>
(
instance
?O
Object
)
(
capability
Translocation
origin
?O))
Merge.kif 854-856
Objet
est une
instance
de
objet
objet
est
capable
de faire
Translocation
dans le r�le
origin
(=>
(
instance
?ORDER
OperationOrder
)
(
exists
(?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY)
(
and
(
agent
?ORDER ?SUPERIORCOMMANDER)
(
origin
?ORDER ?SUPERIORCOMMANDER)
(
destination
?ORDER ?SUBORDINATECOMMANDER)
(
instance
?SUPERIORCOMMANDER
MilitaryCommander
)
(
instance
?SUBORDINATECOMMANDER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER)
(
instance
?MILITARY
MilitaryForce
))))
MilitaryProcesses.kif 1663-1673
Processus
est une
instance
de
OperationOrder
AutonomousAgent
position
and
organisation
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
position
AutonomousAgent
est une
instance
de
MilitaryCommander
position
est une
instance
de
MilitaryCommander
subordinatePosition
organisation
,
position
and
AutonomousAgent
organisation
est une
instance
de
MilitaryForce
(=>
(
instance
?P
Phishing
)
(
exists
(?FS ?V ?M ?I)
(
and
(
instance
?M
Communication
)
(
origin
?M ?FS)
(
agent
?P ?FS)
(
destination
?M ?V)
(
instance
?I
Formula
)
(
knows
?V ?I)
(
not
(
desires
?V
(
knows
?FS ?I)))
(
desires
?FS
(
knows
?FS ?I)))))
ComputingBrands.kif 4235-4249
Processus
est une
instance
de
Phishing
agent cognitif
agent cognitif
,
processus
and
formule
processus
est une
instance
de
communication
processus
a pour
origine
agent cognitif
processus
est un
agent
de
agent cognitif
processus
aboutit
�
agent cognitif
formule
est une
instance
de
formule
agent cognitif
conna
�t
formule
agent cognitif
ne
desire
%n{pas}
agent cognitif
conna
�t
formule
agent cognitif
desire
agent cognitif
conna
�t
formule
(=>
(
instance
?P
Urination
)
(
exists
(?B)
(
and
(
instance
?B
Bladder
)
(
origin
?P ?B))))
Mid-level-ontology.kif 11277-11282
Processus
est une
instance
de
Urination
objet
objet
est une
instance
de
Bladder
processus
a pour
origine
objet
(=>
(
instance
?PCVV
PositiveCrankcaseVentilationValve
)
(
hasPurpose
?PCVV
(
exists
(?CR ?F ?CC ?T ?A)
(
and
(
instance
?CR
Crankcase
)
(
instance
?F
Fuel
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
instance
?A
Automobile
)
(
part
?CR ?A)
(
part
?CC ?A)
(
part
?PCVV ?A)
(
origin
?T ?CR)
(
destination
?T ?CC)
(
objectTransferred
?T ?F)
(
path
?T ?PCVV)))))
Cars.kif 3826-3842
Physique
est une
instance
de
PositiveCrankcaseVentilationValve
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Crankcase
entit�
est une
instance
de
Fuel
entit�
est une
instance
de
CombustionChamber
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
Automobile
entit�
est une
partie
de
entit�
entit�
est une
partie
de
entit�
physique
est une
partie
de
entit�
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
objectTransferred
entit�
and
entit�
physique
est le
chemin
le long duquel
entit�
se produit
(=>
(
instance
?POUR
Pouring
)
(
exists
(?LIQUID ?CONTAINER1 ?CONTAINER2)
(
and
(
origin
?POUR ?CONTAINER1)
(
destination
?POUR ?CONTAINER2)
(
instance
?CONTAINER1
Container
)
(
instance
?CONTAINER2
Container
)
(
not
(
equal
?CONTAINER1 ?CONTAINER2))
(
patient
?POUR ?LIQUID)
(
attribute
?LIQUID
Liquid
)
(
instance
?LIQUID
Substance
))))
Mid-level-ontology.kif 17537-17548
Processus
est une
instance
de
Pouring
objet
objet
and
entit�
processus
a pour
origine
objet
processus
aboutit
�
entit�
objet
est une
instance
de
Container
entit�
est une
instance
de
Container
objet
est
entit�
objet
est un
patient
de
processus
Liquid
est un
attribut
de
objet
objet
est une
instance
de
substance
(=>
(
instance
?PS
PayStub
)
(
exists
(?FT ?O ?E)
(
and
(
instance
?FT
FinancialTransaction
)
(
origin
?FT ?O)
(
destination
?FT ?E)
(
refers
?PS ?FT))))
Medicine.kif 3386-3393
Entit�
est une
instance
de
PayStub
processus
objet
and
entit�
processus
est une
instance
de
financial transaction
processus
a pour
origine
objet
processus
aboutit
�
entit�
entit�
inclut une
r
�f�rence �
processus
(=>
(
instance
?PS
PowerSource
)
(
exists
(?RE)
(
and
(
instance
?RE
RadiatingElectromagnetic
)
(
origin
?RE ?PS))))
Mid-level-ontology.kif 2566-2571
Objet
est une
instance
de
PowerSource
processus
processus
est une
instance
de
RadiatingElectromagnetic
processus
a pour
origine
objet
(=>
(
instance
?PW
PurifiedWater
)
(
exists
(?R ?W ?S)
(
and
(
instance
?R
Removing
)
(
origin
?R ?W)
(
instance
?W
Water
)
(
patient
?R ?S)
(
instance
?S
Substance
)
(
part
?S ?W)
(
result
?R ?PW))))
Food.kif 248-258
Entit�
est une
instance
de
PurifiedWater
processus
objet
and
objet
processus
est une
instance
de
supprimer
processus
a pour
origine
objet
objet
est une
instance
de
eau
objet
est un
patient
de
processus
objet
est une
instance
de
substance
objet
est une
partie
de
objet
entit�
est le
resultat
de
processus
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