origin
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
Local
))
(
exists
(?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
telephoneNumber
?TEL1 ?ORIGIN)
(
telephoneNumber
?TEL2 ?DEST)
(
telecomAreaCode
?CODE ?TEL1)
(
telecomAreaCode
?CODE ?TEL2))))
Mid-level-ontology.kif 27095-27106
Objet
est une
instance
de
TelephoneCommunication
Local
est un
attribut
de
objet
TelecomNumber
TelecomNumber
,
AutonomousAgent
,
AutonomousAgent
and
cha�ne sympbolique
objet
a pour
origine
AutonomousAgent
objet
aboutit
�
AutonomousAgent
telephoneNumber
TelecomNumber
and
AutonomousAgent
telephoneNumber
TelecomNumber
and
AutonomousAgent
telecomAreaCode
cha�ne sympbolique
and
TelecomNumber
telecomAreaCode
cha�ne sympbolique
and
TelecomNumber
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
valeur
de
Check
est
mesure de devise
checkAccount
Check
and
FinancialAccount
processus
est une
instance
de
ProcessingACheck
Check
est un
patient
de
processus
temps
d'existence de
processus
est
processus
Time
financial transaction
financial transaction
Time
financial transaction
est une
instance
de
Withdrawal
Check
est un
instrument
pour
financial transaction
temps
d'existence de
financial transaction
est
financial transaction
Time
processus
Time
rencontre
financial transaction
Time
transactionAmount
financial transaction
and
mesure de devise
financial transaction
a pour
origine
FinancialAccount
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
agreementClause
(
exists
(?B ?ITEM)
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?B ?BUYER)
(
origin
?B ?SELLER)
(
transactionAmount
?B ?PRICE)))
Obligation
?AGREE ?SELLER))
Catalog.kif 311-324
negotiatedPrice
physique
,
mesure de devise
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
agreementClause
entit�
entit�
entit�
est une
instance
de
acheter
entit�
est un
patient
de
entit�
entit�
est une
instance
imm�diate de
physique
entit�
est un
agent
de
agent cognitif
entit�
a pour
origine
agent cognitif
transactionAmount
entit�
and
mesure de devise
,
Obligation
,
Agreement
and
agent cognitif
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validFor
PricingScheme
and
AutonomousAgent
entit�
est une
instance
de
AutonomousAgent
l'argument
entit�
est une
instance
de
acheter
entit�
est un
agent
de
entit�
entit�
a pour
origine
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
(=>
(
and
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
sheddingLeaves
plante
and
PlantLeaf
plante
est une
instance
de
DeciduousTree
PlantLeaf
est une
instance
de
PlantLeaf
processus
processus
processus
est une
sous
-classe de
supprimer
processus
se
produit tous les
YearDuration
processus
est une
instance
de
processus
processus
a pour
origine
plante
PlantLeaf
est un
patient
de
processus
(=>
(
attribute
?M
CoinOperated
)
(
hasPurpose
?M
(
exists
(?C ?FT ?A ?ACT)
(
and
(
instance
?C
CurrencyCoin
)
(
instance
?FT
FinancialTransaction
)
(
destination
?FT ?M)
(
patient
?FT ?C)
(
origin
?FT ?A)
(
causes
?FT ?ACT)
(
wants
?A ?ACT)))))
Mid-level-ontology.kif 29462-29473
CoinOperated
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
,
entit�
and
entit�
CT
entit�
est une
instance
de
CurrencyCoin
entit�
est une
instance
de
financial transaction
entit�
aboutit
�
objet
entit�
est un
patient
de
entit�
entit�
a pour
origine
entit�
entit�
cause
entit�
CT
entit�
veut
entit�
CT
(=>
(
exportPartner
?AGENT1 ?AGENT2)
(
exists
(?EXPORT)
(
and
(
instance
?EXPORT
Exporting
)
(
origin
?EXPORT ?AGENT1)
(
destination
?EXPORT ?AGENT2))))
Economy.kif 2379-2385
exportPartner
AutonomousAgent
and
AutonomousAgent
processus
processus
est une
instance
de
Exporting
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
(=>
(
exportPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT1)
(
destination
?EXPORT ?AGENT2))))
Economy.kif 2359-2367
exportPartnerInPeriod
AutonomousAgent
,
AutonomousAgent
and
interval temporel
interval temporel
processus
interval temporel
est une
instance
de
interval temporel
processus
est une
instance
de
Exporting
temps
d'existence de
processus
recouvre
interval temporel
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
(=>
(
holdsDuring
?T
(
and
(
instance
?C
Computer
)
(
attribute
?C
AirplaneMode
)))
(
not
(
holdsDuring
?T
(
capability
(
NetworkCommunicationFn
WirelessNetwork
)
origin
?C))))
ComputingBrands.kif 1820-1827
Entit�
est une
instance
de
Computer
AirplaneMode
est un
attribut
de
entit�
pendant
position temporel
entit�
est
capable
de faire
NetworkCommunicationFn
WirelessNetwork
dans le r�le
origin
pendant
position temporel
(=>
(
importPartner
?AGENT1 ?AGENT2)
(
exists
(?EXPORT)
(
and
(
instance
?EXPORT
Exporting
)
(
origin
?EXPORT ?AGENT2)
(
destination
?EXPORT ?AGENT1))))
Economy.kif 2666-2672
importPartner
AutonomousAgent
and
AutonomousAgent
processus
processus
est une
instance
de
Exporting
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
(=>
(
importPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT2)
(
destination
?EXPORT ?AGENT1))))
Economy.kif 2647-2655
importPartnerInPeriod
AutonomousAgent
,
AutonomousAgent
and
interval temporel
interval temporel
processus
interval temporel
est une
instance
de
interval temporel
processus
est une
instance
de
Exporting
temps
d'existence de
processus
recouvre
interval temporel
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
(=>
(
instance
?ACT
UploadingOverNetwork
)
(
exists
(?DATA ?COM)
(
and
(
patient
?ACT ?DATA)
(
instance
?COM
Computer
)
(
origin
?ACT ?COM)
(
instance
?DATA
DigitalData
))))
ComputerInput.kif 2779-2786
Processus
est une
instance
de
UploadingOverNetwork
entit�
objet
entit�
est un
patient
de
processus
objet
est une
instance
de
Computer
processus
a pour
origine
objet
entit�
est une
instance
de
DigitalData
(=>
(
instance
?AI
AirIntake
)
(
hasPurpose
?AI
(
exists
(?A ?E ?T)
(
and
(
instance
?A
Air
)
(
instance
?E
Engine
)
(
instance
?T
Transfer
)
(
origin
?T ?AI)
(
destination
?T ?E)
(
patient
?T ?A)))))
Cars.kif 973-983
Physique
est une
instance
de
AirIntake
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
Air
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
?B
Birth
)
(
exists
(?M ?BABY)
(
and
(
attribute
?M
Female
)
(
origin
?B ?M)
(
objectTransferred
?B ?BABY)
(
attribute
?BABY
NonFullyFormed
))))
Mid-level-ontology.kif 24009-24016
Transf�re
est une
instance
de
naissance
objet
transf�re
ABY
Female
est un
attribut
de
objet
transf�re
a pour
origine
objet
objectTransferred
transf�re
and
transf�re
ABY
NonFullyFormed
est un
attribut
de
transf�re
ABY
(=>
(
instance
?BEVERAGE
DistilledAlcoholicBeverage
)
(
exists
(?REMOVE ?WATER)
(
and
(
instance
?REMOVE
Removing
)
(
patient
?REMOVE ?WATER)
(
instance
?WATER
FreshWater
)
(
origin
?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 10924-10931
Objet
est une
instance
de
DistilledAlcoholicBeverage
processus
entit�
processus
est une
instance
de
supprimer
entit�
est un
patient
de
processus
entit�
est une
instance
de
FreshWater
processus
a pour
origine
objet
(=>
(
instance
?C
Catheter
)
(
hasPurpose
?C
(
exists
(?M ?O ?OBJ ?L)
(
and
(
instance
?O
Organism
)
(
instance
?M
Motion
)
(
moves
?M ?OBJ)
(
orientation
?L ?O
Outside
)
(
path
?M ?C)
(
or
(
and
(
origin
?M ?L)
(
destination
?M ?O))
(
and
(
origin
?M ?O)
(
destination
?M ?L)))))))
Medicine.kif 548-564
Physique
est une
instance
de
Catheter
physique
a pour
but
entit�
entit�
,
entit�
BJ and
entit�
entit�
est une
instance
de
organisme
entit�
est une
instance
de
d�palcement
moves
entit�
and
entit�
BJ
entit�
est
Outside
�
entit�
physique
est le
chemin
le long duquel
entit�
se produit
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
Entit�
est une
instance
de
CommunitySpread
agent cognitif
agent cognitif
conna
�t
entit�
entit�
a pour
origine
agent cognitif
agent cognitif
s'appele
nom
entit�
(=>
(
instance
?CM
CentrifugalMotion
)
(
exists
(?R ?A ?O1 ?O2)
(
and
(
instance
?R
Rotating
)
(
axis
?A ?O1)
(
origin
?CM ?A)
(
experiencer
?R ?O1)
(
experiencer
?CM ?O2)
(
causes
?R ?CM))))
Mid-level-ontology.kif 17486-17495
Processus
est une
instance
de
CentrifugalMotion
processus
objet
,
AutonomousAgent
and
AutonomousAgent
processus
est une
instance
de
Rotating
axis
objet
and
AutonomousAgent
processus
a pour
origine
objet
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
instance
?CM
CoffeeMaking
)
(
exists
(?R ?LM ?CG ?W ?F ?C)
(
and
(
subProcess
?R ?CM)
(
instance
?R
Removing
)
(
origin
?R ?LM)
(
instance
?LM
LiquidMixture
)
(
part
?W ?LM)
(
instance
?W
DrinkingWater
)
(
part
?CG ?LM)
(
instance
?CG
CoffeeGrind
)
(
instrument
?R ?F)
(
instance
?F
Filter
)
(
result
?R ?C)
(
instance
?C
Coffee
))))
Food.kif 686-701
Processus
est une
instance
de
CoffeeMaking
processus
objet
,
objet
,
objet
,
objet
and
entit�
processus
est un
sous
-processus de
processus
processus
est une
instance
de
supprimer
processus
a pour
origine
objet
objet
est une
instance
de
LiquidMixture
objet
est une
partie
de
objet
objet
est une
instance
de
DrinkingWater
objet
est une
partie
de
objet
objet
est une
instance
de
CoffeeGrind
objet
est un
instrument
pour
processus
objet
est une
instance
de
Filter
entit�
est le
resultat
de
processus
entit�
est une
instance
de
Coffee
(=>
(
instance
?CP
ComputerProtocol
)
(
hasPurpose
?CP
(
exists
(?P1 ?P2 ?C)
(
and
(
instance
?P1
ComputerProgram
)
(
instance
?P2
ComputerProgram
)
(
instance
?C
DataTransfer
)
(
origin
?C ?P1)
(
destination
?C ?P2)
(
represents
?CP ?C)))))
ComputingBrands.kif 1736-1746
Physique
est une
instance
de
ComputerProtocol
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
programme d'ordinateur
entit�
est une
instance
de
programme d'ordinateur
entit�
est une
instance
de
DataTransfer
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
physique
d
�finie
entit�
(=>
(
instance
?D
Defrauding
)
(
exists
(?A ?P ?O)
(
and
(
agent
?D ?A)
(
suffers
?D ?P)
(
benefits
?D ?A)
(
objectTransferred
?D ?O)
(
origin
?O ?P)
(
destination
?O ?A))))
Mid-level-ontology.kif 18310-18319
Transf�re
est une
instance
de
Defrauding
AutonomousAgent
AutonomousAgent
and
objet
transf�re
est un
agent
de
AutonomousAgent
suffers
transf�re
and
AutonomousAgent
benefits
transf�re
and
AutonomousAgent
objectTransferred
transf�re
and
objet
objet
a pour
origine
AutonomousAgent
objet
aboutit
�
AutonomousAgent
(=>
(
instance
?D
Discharging
)
(
exists
(?B)
(
and
(
instance
?B
Battery
)
(
origin
?D ?B))))
Cars.kif 2430-2435
Processus
est une
instance
de
Discharging
objet
objet
est une
instance
de
Battery
processus
a pour
origine
objet
(=>
(
instance
?D
Diuretic
)
(
hasPurpose
?D
(
exists
(?R ?L ?H ?LOC)
(
and
(
instance
?H
Human
)
(
instance
?R
Removing
)
(
instance
?L
Liquid
)
(
experiencer
?R ?H)
(
moves
?R ?L)
(
origin
?L ?H)
(
not
(
contains
?H ?LOC))
(
destination
?R ?LOC)))))
Mid-level-ontology.kif 10009-10022
Physique
est une
instance
de
Diuretic
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
OC
entit�
est une
instance
de
humain
entit�
est une
instance
de
supprimer
entit�
est une
instance
de
Liquid
entit�
exp
�rimente
entit�
moves
entit�
and
entit�
entit�
a pour
origine
entit�
entit�
ne
contient
%n{pas}
entit�
OC
entit�
aboutit
�
entit�
OC
(=>
(
instance
?DETERGENT
Detergent
)
(
hasPurpose
?DETERGENT
(
exists
(?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?SUBSTANCE
Substance
)
(
patient
?REMOVE ?SUBSTANCE)
(
origin
?REMOVE ?SURFACE)
(
surface
?SURFACE ?OBJECT)))))
Mid-level-ontology.kif 8847-8856
Physique
est une
instance
de
Detergent
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
supprimer
entit�
est une
instance
de
substance
entit�
est un
patient
de
entit�
entit�
a pour
origine
entit�
entit�
est une
surface
de
entit�
(=>
(
instance
?E
Elevator
)
(
hasPurpose
?E
(
exists
(?T ?L1 ?L2 ?B)
(
and
(
instance
?T
Transportation
)
(
origin
?T ?L1)
(
instance
?L1
BuildingLevel
)
(
destination
?T ?L2)
(
instance
?L2
BuildingLevel
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?B)
(
part
?L2 ?B)
(
instance
?B
Building
)))))
Mid-level-ontology.kif 15426-15439
Physique
est une
instance
de
Elevator
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
transporter
entit�
a pour
origine
entit�
entit�
est une
instance
de
BuildingLevel
entit�
aboutit
�
entit�
entit�
est une
instance
de
BuildingLevel
entit�
est
entit�
entit�
est une
partie
de
entit�
entit�
est une
partie
de
entit�
entit�
est une
instance
de
immeuble
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