or
(=>
(
and
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT)))))
Economy.kif 2583-2592
importTotalInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
position temporel
position temporel
est une
instance
de
interval temporel
annualImportTotal
secteur g�opolitique
and
mesure de devise
pendant
position temporel
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 501-514
Processus
est une
instance
de
Ambulating
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Stepping
processus
START est
d
�but de
temps
d'existence de
processus
processus
START est
d
�but de
temps
d'existence de
processus
processus
START se produit
avant
processus
START
processus
START se produit
avant
processus
START
processus
est
processus
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
Objet
est une
instance
de
Armor
objet
est une
partie
de
objet
objet
rencontre
objet
objet
a pour
but
entit�
entit�
est une
instance
de
maintenir
objet
est un
instrument
pour
entit�
objet
exp
�rimente
entit�
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
Objet
est une
instance
de
Armor
objet
est une
partie
de
objet
objet
rencontre
objet
objet
a pour
but
entit�
entit�
est une
instance
de
endommager
objet
est un
instrument
pour
entit�
objet
exp
�rimente
entit�
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
Processus
est une
instance
de
acheter
entit�
est un
patient
de
processus
processus
a pour
origine
agent cognitif
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�
validPaymentType
PricingScheme
and
Payment
l'argument
Payment
MENT
Payment
MENT est une
instance
de
Payment
Payment
MENT est un
sous
-processus de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?C
Colloid
)
(
part
?P ?C)
(
or
(
attribute
?P
Solid
)
(
attribute
?P
Liquid
))
(
instance
?AIR
Air
)
(
part
?AIR ?C))
(
instance
?C
Aerosal
))
Geography.kif 7545-7554
Objet
est une
instance
de
Colloid
objet
est une
partie
de
objet
Solid
est un
attribut
de
objet
Liquid
est un
attribut
de
objet
objet
est une
instance
de
Air
objet
est une
partie
de
objet
objet
est une
instance
de
Aerosal
(=>
(
and
(
instance
?C
MuscularContraction
)
(
moves
?C ?M)
(
or
(
instance
?M
VoluntaryMuscle
)
(
instance
?M
HeartMuscle
)))
(
exists
(?T)
(
and
(
instance
?T
Troponin
)
(
resource
?C ?T))))
Medicine.kif 3954-3964
D�palcement
est une
instance
de
MuscularContraction
moves
d�palcement
and
objet
objet
est une
instance
de
VoluntaryMuscle
objet
est une
instance
de
HeartMuscle
objet
objet
est une
instance
de
Troponin
objet
est une
resource
pour
d�palcement
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
Processus
est une
instance
de
Hurricane
eventLocated
processus
and
objet
objet
est une
instance
de
secteur g�ographique
objet
est
situ
� �
objet
objet
rencontre
objet
objet
est
NortheasternPacificOcean
objet
est
NorthAtlanticOcean
(=>
(
and
(
instance
?M
Meal
)
(
member
?H ?M)
(
or
(
instance
?H
Coffee
)
(
instance
?H
Tea
))
(
member
?J ?M)
(
instance
?J
Juice
)
(
member
?B ?M)
(
instance
?B
BreadOrBiscuit
)
(
member
?B ?M)
(
instance
?B
Butter
)
(
member
?JA ?M)
(
instance
?JA
Jam
))
(
attribute
?M
ContinentalBreakfast
))
Food.kif 1731-1746
Collection
est une
instance
de
Meal
physique
est un
membre
de
collection
physique
est une
instance
de
Coffee
physique
est une
instance
de
Tea
physique
est un
membre
de
collection
physique
est une
instance
de
Juice
physique
est un
membre
de
collection
physique
est une
instance
de
BreadOrBiscuit
physique
est un
membre
de
collection
physique
est une
instance
de
Butter
physique
A est un
membre
de
collection
physique
A est une
instance
de
Jam
ContinentalBreakfast
est un
attribut
de
collection
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
Secteur g�ographique
est une
instance
de
nation
geographicSubregion
secteur g�ographique
and
NorthAmerica
geographicSubregion
secteur g�ographique
and
SouthAmerica
geographicSubregion
secteur g�ographique
and
WesternEurope
nationalHoliday
secteur g�ographique
and
ChristmasDay
pendant
temps
d'existence de
secteur g�ographique
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?WRITE
Writing
)
(
or
(
instance
?TEXT
Text
)
(
instance
?TEXT
Document
))
(
result
?WRITE ?TEXT)
(
agent
?WRITE ?PERSON))
(
attribute
?PERSON
Writer
))
Biography.kif 742-751
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
�crire
entit�
est une
instance
de
texte
entit�
est une
instance
de
Document
entit�
est le
resultat
de
processus
processus
est un
agent
de
AutonomousAgent
Writer
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?PROC
ChemicalProcess
)
(
or
(
resource
?PROC ?STUFF)
(
result
?PROC ?STUFF)))
(
instance
?STUFF
PureSubstance
))
Merge.kif 12514-12520
Processus
est une
instance
de
processus chimique
objet
est une
resource
pour
processus
objet
est le
resultat
de
processus
objet
est une
instance
de
substance pure
(=>
(
and
(
instance
?TC
TropicalCyclonicSystem
)
(
origin
?TC ?SEA)
(
or
(
instance
?SEA
NorthAtlanticOcean
)
(
instance
?SEA
PacificOcean
)
(
instance
?SEA
IndianOcean
)))
(
not
(
exists
(?AREA ?DIR ?NUM ?LONG)
(
and
(
located
?AREA ?SEA)
(
instance
?DIR
DirectionalAttribute
)
(
objectGeographicCoordinates
?AREA
(
LatitudeFn
?DIR
(
MeasureFn
?NUM
AngularDegree
)) ?LONG)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
))
(
lessThan
?NUM 5.0)))))
Weather.kif 627-646
Processus
est une
instance
de
TropicalCyclonicSystem
processus
a pour
origine
objet
objet
est une
instance
de
NorthAtlanticOcean
objet
est une
instance
de
PacificOcean
objet
est une
instance
de
IndianOcean
objet
attribut directionnel
,
nombre r�el
and
Longitude
objet
est
situ
� �
objet
attribut directionnel
est une
instance
de
attribut directionnel
objectGeographicCoordinates
objet
,
LatitudeFn
attribut directionnel
and
nombre r�el
AngularDegree
(s) and
Longitude
attribut directionnel
est
North
attribut directionnel
est
South
nombre r�el
est
moins
que 5.0
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
Processus
est une
instance
de
UnconventionalWarfare
processus
est un
agent
de
gouvernement
gouvernement
est
AutonomousAgent
gouvernement
est
gouvernment
de
secteur g�opolitique
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
membre
de
ResidentFn
secteur g�opolitique
AutonomousAgent
est une
sous
-collection appartenant �
ResidentFn
secteur g�opolitique
processus
processus
est une
instance
de
affrontement
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
?X
Substance
)
(
or
(
attribute
?X
Gas
)
(
attribute
?X
Liquid
)
(
attribute
?X
Plasma
)))
(
attribute
?X
Fluid
))
Merge.kif 17594-17601
Objet
est une
instance
de
substance
Gas
est un
attribut
de
objet
Liquid
est un
attribut
de
objet
Plasma
est un
attribut
de
objet
Fluid
est un
attribut
de
objet
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3374-3380
Entit�
s'appele
nom
cha�ne sympbolique
nameAfterKeyName
cha�ne sympbolique
,
cha�ne sympbolique
and
cha�ne sympbolique
cha�ne sympbolique
est
cha�ne sympbolique
nameIndexOrder
cha�ne sympbolique
and
entit�
(=>
(
and
(
or
(
instance
?ROLE
OccupationalTrade
)
(
instance
?ROLE
Profession
))
(
holdsDuring
?T1
(
attribute
?HUMAN ?ROLE)))
(
exists
(?FIELD)
(
and
(
subclass
?FIELD
FieldOfStudy
)
(
holdsDuring
?T1
(
hasExpertise
?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8293-8302
Entit�
est une
instance
de
OccupationalTrade
entit�
est une
instance
de
Profession
entit�
est un
attribut
de
entit�
pendant
position temporel
classe
classe
est une
sous
-classe de
champ d'�tude
hasExpertise
entit�
and
classe
pendant
position temporel
(=>
(
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
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
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�
validityPeriod
PricingScheme
and
interval temporel
l'argument
entit�
est une
instance
de
vendre
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
pendant
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
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
objet
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
objet
est une
instance
de
physique
objet
est
situ
� �
TemporaryResidence
processus
est une
instance
de
processus
processus
est un
agent
de
humain
processus
est
situ
� �
TemporaryResidence
objet
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
est une
resource
pour
processus
processus
RICE
unit� de mesure
price
objet
,
processus
RICE
unit� de mesure
(s) and
humain
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
RICE est
plus
grand
que 0
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
processus
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
humain
est un
patient
de
processus
processus
est une
instance
de
physique
processus
est une
instance
de
physique
processus
est un
sous
-processus de
processus
processus
est
situ
� �
TemporaryResidence
processus
RICE
unit� de mesure
price
processus
,
processus
RICE
unit� de mesure
(s) and
humain
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
RICE est
plus
grand
que 0
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
Organisme
est un
parent
de
organisme
organisme
est une
instance
de
HumanChild
organisme
est une
instance
de
HumanBaby
l'argument
entit�
entit�
est une
instance
de
ChildCareService
organisme
desire
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736
postCity
PostalPlace
and
ville
geographicSubregion
ville
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est une
instance
de
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
secteur g�opolitique
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