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
Wenn
importTotalInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualImportTotal
** GeopoliticalArea
and
** CurrencyMeasure
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Ambulating
%n{nicht} und
** Process
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
fall
von
Stepping
%n{nicht} und
** Process
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
fall
von
Stepping
%n{nicht} und
** ** Process
START ist gleich der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht} und
** ** Process
START ist gleich der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht} und
** ** Process
START geschieht
vor
** ** Process
START %n{nicht} und
** ** Process
START geschieht
vor
** ** Process
START %n{nicht},
dann
** ** Process
ist gleich
** ** Process
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Armor
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} oder
** Object
schliesst
** ** Object
raeumlich an,
dann
** Object
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Maintaining
%n{nicht} und
** Object
ist ein
instrument
fuer
** entity
%n{nicht} und
** ** Object
erfaehrt
** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Armor
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} oder
** Object
schliesst
** ** Object
raeumlich an,
dann
** Object
hat Zweck von es gibt nicht
entity
um
** entity
ist ein
fall
von
Damaging
%n{nicht} und
** Object
ist ein
instrument
fuer
** entity
%n{nicht} und
** ** Object
erfaehrt
** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Buying
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
beginnet an
CognitiveAgent
%n{nicht} und
publishedPrice
** ** Entity
,
CurrencyMeasure
,
** CognitiveAgent
and
PricingScheme
oder
unitPrice
** ** Entity
,
FunctionQuantity
,
** CognitiveAgent
and
** PricingScheme
und
** ** ** Entity
ist eine
teilkategorie
von
Physical
und
** Entity
ist ein
direkter
fall von
** ** ** Entity
und
validPaymentType
** PricingScheme
and
** Payment
,
dann die Aussage es gibt
** Payment
MENT um
** ** Payment
MENT ist ein
fall
von
** ** Payment
%n{nicht} und
** ** Payment
MENT ist ein
subProzess
von
** Process
hat die modale Kraft von
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
Wenn
Object
ist ein
fall
von
Colloid
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
Solid
ist ein
attribut
von
** ** Object
%n{nicht} oder
Liquid
ist ein
attribut
von
** ** Object
%n{nicht} und
** Object
ist ein
fall
von
Air
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** Object
ist ein
fall
von
Aerosal
%n{nicht}
(=>
(
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
Wenn
Motion
ist ein
fall
von
MuscularContraction
%n{nicht} und
moves
** Motion
and
Object
und
** Object
ist ein
fall
von
VoluntaryMuscle
%n{nicht} oder
** Object
ist ein
fall
von
HeartMuscle
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Troponin
%n{nicht} und
** ** Object
ist ein
hilfmittel
fuer
** Motion
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
eventLocated
** Process
and
Object
und
** Object
ist ein
fall
von
GeographicArea
%n{nicht} und
** Object
befindet
sich an %n{nicht} oder
** Object
schliesst
** Object
raeumlich an,
dann
** ** Object
ist gleich
NortheasternPacificOcean
%n{nicht} oder
** ** Object
ist gleich
NorthAtlanticOcean
%n{nicht}
(=>
(
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
Wenn
Collection
ist ein
fall
von
Meal
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Physical
ist ein
fall
von
Coffee
%n{nicht} oder
** Physical
ist ein
fall
von
Tea
%n{nicht} und
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** ** Physical
ist ein
fall
von
Juice
%n{nicht} und
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** ** Physical
ist ein
fall
von
BreadOrBiscuit
%n{nicht} und
** ** Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** ** Physical
ist ein
fall
von
Butter
%n{nicht} und
** ** Physical
A ist ein
Mitglied
von
** Collection
%n{nicht} und
** ** Physical
A ist ein
fall
von
Jam
%n{nicht},
dann
ContinentalBreakfast
ist ein
attribut
von
** Collection
%n{nicht}
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
Wenn
GeographicArea
ist ein
fall
von
Nation
%n{nicht} und
geographicSubregion
** GeographicArea
and
NorthAmerica
oder
geographicSubregion
** GeographicArea
and
SouthAmerica
oder
geographicSubregion
** GeographicArea
and
WesternEurope
,
dann
nationalHoliday
** GeographicArea
and
ChristmasDay
haelt
waehrend
die
zeit
des Bestehens von
** GeographicArea
%n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Process
ist ein
fall
von
Writing
%n{nicht} und
Entity
ist ein
fall
von
Text
%n{nicht} oder
** Entity
ist ein
fall
von
Document
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
Writer
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?PROC
ChemicalProcess
)
(
or
(
resource
?PROC ?STUFF)
(
result
?PROC ?STUFF)))
(
instance
?STUFF
PureSubstance
))
Merge.kif 12514-12520
Wenn
Process
ist ein
fall
von
ChemicalProcess
%n{nicht} und
Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} oder
** Object
ist ein
resultat
von
** Process
%n{nicht},
dann
** Object
ist ein
fall
von
PureSubstance
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
TropicalCyclonicSystem
%n{nicht} und
** Process
beginnet an
Object
%n{nicht} und
** Object
ist ein
fall
von
NorthAtlanticOcean
%n{nicht} oder
** Object
ist ein
fall
von
PacificOcean
%n{nicht} oder
** Object
ist ein
fall
von
IndianOcean
%n{nicht},
dann es gibt nicht
** Object
,
DirectionalAttribute
,, ,
RealNumber
, and und
Longitude
um
** ** Object
befindet
sich an %n{nicht} und
** DirectionalAttribute
ist ein
fall
von
DirectionalAttribute
%n{nicht} und
objectGeographicCoordinates
** ** Object
,
LatitudeFn
** DirectionalAttribute
and
** RealNumber
AngularDegree
(s) and
** Longitude
und
** DirectionalAttribute
ist gleich
North
%n{nicht} oder
** DirectionalAttribute
ist gleich
South
%n{nicht} und
** RealNumber
ist
kleinerAls
5.0 %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
UnconventionalWarfare
%n{nicht} und
** Process
ist der
agent
von
Government
%n{nicht} und
** Government
ist gleich
AutonomousAgent
nicht und
** Government
ist gleich
GovernmentFn
GeopoliticalArea
nicht und
** AutonomousAgent
ist ein
patient
von
** Process
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
ResidentFn
** GeopoliticalArea
%n{nicht} oder
** AutonomousAgent
ist eine korrekte
teilsammlung
von
ResidentFn
** GeopoliticalArea
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Contest
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
GovernmentFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?X
Substance
)
(
or
(
attribute
?X
Gas
)
(
attribute
?X
Liquid
)
(
attribute
?X
Plasma
)))
(
attribute
?X
Fluid
))
Merge.kif 17594-17601
Wenn
Object
ist ein
fall
von
Substance
%n{nicht} und
Gas
ist ein
attribut
von
** Object
%n{nicht} oder
Liquid
ist ein
attribut
von
** Object
%n{nicht} oder
Plasma
ist ein
attribut
von
** Object
%n{nicht},
dann
Fluid
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3374-3380
Wenn
names
SymbolicString
and
Entity
und
nameAfterKeyName
** SymbolicString
,
** SymbolicString
and
** SymbolicString
oder
** ** SymbolicString
ist gleich
** ** SymbolicString
%n{nicht},
dann
nameIndexOrder
** SymbolicString
and
** Entity
(=>
(
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
Wenn
Entity
ist ein
fall
von
OccupationalTrade
%n{nicht} oder
** Entity
ist ein
fall
von
Profession
%n{nicht} und
** Entity
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
Class
um
** Class
ist eine
teilkategorie
von
FieldOfStudy
und
hasExpertise
** ** entity
and
** Class
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
publishedPrice
** Entity
,
CurrencyMeasure
,
CognitiveAgent
and
PricingScheme
oder
unitPrice
** Entity
,
FunctionQuantity
,
** CognitiveAgent
and
** PricingScheme
und
** ** Entity
ist eine
teilkategorie
von
Physical
und
** Entity
ist ein
direkter
fall von
** ** Entity
und
validFor
** PricingScheme
and
** AutonomousAgent
und
** Entity
ist ein
fall
von
** AutonomousAgent
%n{nicht},
dann die Aussage
wenn
** entity
ist ein
fall
von
Buying
%n{nicht} und
** ** entity
ist der
agent
von
** ** Entity
%n{nicht} und
** ** entity
beginnet an
** CognitiveAgent
%n{nicht} und
** ** Entity
ist ein
patient
von
** ** entity
%n{nicht},
dann
transactionAmount
** ** entity
and
** CurrencyMeasure
hat die modale Kraft von
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
Wenn
publishedPrice
** Entity
,
CurrencyMeasure
,
CognitiveAgent
and
PricingScheme
oder
unitPrice
** Entity
,
FunctionQuantity
,
** CognitiveAgent
and
** PricingScheme
und
** ** Entity
ist eine
teilkategorie
von
Physical
und
** Entity
ist ein
direkter
fall von
** ** Entity
und
validityPeriod
** PricingScheme
and
TimeInterval
,
dann die Aussage
wenn
** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** Entity
ist ein
patient
von
** ** entity
%n{nicht},
dann
transactionAmount
** ** entity
and
** CurrencyMeasure
hat die modale Kraft von
Likely
haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
paidFunctionRoomAmenity
** HotelFunctionRoom
and
** Physical
und
Entity
ist ein
fall
von
** HotelFunctionRoom
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht} und
Object
ist ein
fall
von
** Physical
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** Object
ist ein
fall
von
Process
%n{nicht} und
** Object
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Object
%n{nicht} oder
** AutonomousAgent
besitzt
** Object
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Object
,
dann es gibt
RealNumber
und
UnitOfMeasure
um
price
** Object
,
** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
paidPropertyAmenity
AutonomousAgent
and
** Physical
und
Process
ist ein
fall
von
** Physical
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
** Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Process
%n{nicht} oder
** AutonomousAgent
besitzt
** Process
%n{nicht} und
** Process
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Process
,
dann es gibt
RealNumber
und
UnitOfMeasure
um
price
** Process
,
** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
paidRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
und
TemporaryResidence
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
Human
and
** TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
** ** Physical
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Process
befindet
sich an %n{nicht} oder
** Object
ist ein
patient
von
** Process
%n{nicht} oder
** Object
ist ein
instrument
fuer
** Process
%n{nicht} oder
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht},
dann es gibt
** Process
RICE und
UnitOfMeasure
um
price
** Object
,
** Process
RICE
** UnitOfMeasure
(s) and
** Human
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** Process
RICE ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
paidRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
und
TemporaryResidence
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
Human
and
** TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
** Human
ist ein
patient
von
Process
%n{nicht} und
** Process
ist ein
fall
von
** ** Physical
%n{nicht} oder
** Process
ist ein
fall
von
** ** Physical
%n{nicht} und
** Process
ist ein
subProzess
von
** ** Process
und
** Process
befindet
sich an %n{nicht},
dann es gibt
** Process
RICE und
UnitOfMeasure
um
price
** Process
,
** Process
RICE
** UnitOfMeasure
(s) and
** Human
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** Process
RICE ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** ** Organism
ist ein
fall
von
HumanChild
%n{nicht} oder
** ** Organism
ist ein
fall
von
HumanBaby
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
ChildCareService
%n{nicht} und
** Organism
wuenscht
** entity
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736
Wenn
postCity
PostalPlace
and
City
und
geographicSubregion
** City
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} oder
** GeopoliticalArea
ist ein
fall
von
DependencyOrSpecialSovereigntyArea
%n{nicht},
dann
postCountry
** PostalPlace
and
** GeopoliticalArea
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