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
如果
地缘政治区域
对于
有点 时距
在周期
货币测量
import
全部 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
的
annual
总共输入 在
那个 时间位置
holdsDuring
(=>
(
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
如果
过程
是
走动
的
instance
和
另一个 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
是
步进
的
instance
和
第三 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
是
步进
的
instance
和
那个 另外 过程
START
equal
那个 另外 过程
出现 的
time
的开始 和
那个 第三 过程
START
equal
那个 第三 过程
出现 的
time
的开始 和
那个 另外 过程
START%n在
那个 第三 过程
START
before
发生 和
那个 第三 过程
START%n在
那个 另外 过程
START
before
发生,
然后
那个 另外 过程
equal
那个 第三 过程
(=>
(
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
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
维护
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
(=>
(
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
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 不存在
实体
这样
那个 实体
是
损坏
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
(=>
(
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
如果
过程
是
购买
的
instance
和
实体
是
那个 过程
的
patient
和
有认知的主事
是
那个 过程
的源头 和
另一个 有点 实体
的
price
从
那个 有认知的主事
根据
PricingScheme
是
货币测量
或
unit
price
已收费
那个 有认知的主事
在
那个 PricingScheme
底下 对于
函数量
是
另一个 有点 实体
和
那个 另外 有点 实体
是
物理
的
subclass
和
那个 实体
是
那个 另外 有点 实体
的
immediateInstance
和
有点 付款
是
valid
payment
在
那个 PricingScheme
底下,
然后 有存在
有点 付款
MENT 这样
那个 有点 付款
MENT 是
那个 有点 付款
的
instance
和
那个 有点 付款
MENT%n是
那个 过程
的
subProcess
的声明 has
容易
的语气
(=>
(
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
如果
客体
是
胶体
的
instance
和
另一个 客体
是
那个 客体
的
part
和
固体
是
那个 另外 客体
的
attribute
或
液体
是
那个 另外 客体
的
attribute
和
第三 客体
是
空气
的
instance
和
那个 第三 客体
是
那个 客体
的
part
,
然后
那个 客体
是
气溶胶
的
instance
(=>
(
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
如果
运动
是
MuscularContraction
的
instance
和
移动
那个 运动
and
客体
和
那个 客体
是
VoluntaryMuscle
的
instance
或
那个 客体
是
HeartMuscle
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
Troponin
的
instance
和
那个 另外 客体
是
那个 运动
的
resource
(=>
(
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
如果
过程
是
飓风
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
地理区域
的
instance
和
那个 客体
是
located
在
另一个 客体
或
那个 客体
接上
那个 另外 客体
,
然后
那个 另外 客体
equal
NortheasternPacificOcean
或
那个 另外 客体
equal
北大西洋
(=>
(
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
如果
群体
是
Meal
的
instance
和
物理
是
那个 群体
的
member
和
那个 物理
是
咖啡
的
instance
或
那个 物理
是
茶
的
instance
和
另一个 物理
是
那个 群体
的
member
和
那个 另外 物理
是
Juice
的
instance
和
第三 物理
是
那个 群体
的
member
和
那个 第三 物理
是
面包或饼干
的
instance
和
那个 第三 物理
是
那个 群体
的
member
和
那个 第三 物理
是
黄油
的
instance
和
那个 另外 物理
A 是
那个 群体
的
member
和
那个 另外 物理
A 是
Jam
的
instance
,
然后
ContinentalBreakfast
是
那个 群体
的
attribute
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
如果
地理区域
是
国家
的
instance
和
那个 地理区域
是
北美
的
geographic
次要地区 或
那个 地理区域
是
南美洲
的
geographic
次要地区 或
那个 地理区域
是
西欧
的
geographic
次要地区,
然后
ChristmasDay
是
那个 地理区域
的
national
节日 在
那个 地理区域
出现 的
time
holdsDuring
(=>
(
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
如果
施事体
是
人类
的
instance
和
过程
是
写作
的
instance
和
实体
是
文本
的
instance
或
那个 实体
是
Document
的
instance
和
那个 实体
是
那个 过程
的
result
和
那个 施事体
是
那个 过程
的
agent
,
然后
作家
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?PROC
ChemicalProcess
)
(
or
(
resource
?PROC ?STUFF)
(
result
?PROC ?STUFF)))
(
instance
?STUFF
PureSubstance
))
Merge.kif 12514-12520
如果
过程
是
化学过程
的
instance
和
客体
是
那个 过程
的
resource
或
那个 客体
是
那个 过程
的
result
,
然后
那个 客体
是
純物质
的
instance
(=>
(
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
如果
过程
是
热带氣旋系统
的
instance
和
客体
是
那个 过程
的源头 和
那个 客体
是
北大西洋
的
instance
或
那个 客体
是
太平洋
的
instance
或
那个 客体
是
印度洋
的
instance
,
然后 不存在
另一个 客体
,
方向属性
,, ,
实数
, and 和
经度
这样
那个 另外 客体
是
located
在
那个 客体
和
那个 方向属性
是
方向属性
的
instance
和
那个 另外 客体
是 对于
那个 经度
的
object
地理座标
那个 实数
圆周角度
的
region
那个 方向属性
和
那个 方向属性
equal
北
或
那个 方向属性
equal
南
和
那个 实数
是
lessThan
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
如果
过程
是
非常规战争
的
instance
和
政府
是
那个 过程
的
agent
和
那个 政府
不
equal
施事体
和
那个 政府
不
equal
地缘政治区域
的
Government
和
那个 施事体
是
那个 过程
的
patient
和
那个 施事体
是
那个 地缘政治区域
的
resident
的
member
或
那个 施事体
是
那个 地缘政治区域
的
resident
的 真正的子集,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
比赛
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 地缘政治区域
的
Government
是
那个 另外 过程
的
agent
(=>
(
and
(
instance
?X
Substance
)
(
or
(
attribute
?X
Gas
)
(
attribute
?X
Liquid
)
(
attribute
?X
Plasma
)))
(
attribute
?X
Fluid
))
Merge.kif 17594-17601
如果
客体
是
物质
的
instance
和
加油站
是
那个 客体
的
attribute
或
液体
是
那个 客体
的
attribute
或
等离子体
是
那个 客体
的
attribute
,
然后
流体
是
那个 客体
的
attribute
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3374-3380
如果
实体
的名 是
符号串
和
另一个 符号串
是
after
key
第三 符号串
在
那个 符号串
或
那个 另外 符号串
equal
那个 第三 符号串
,
然后
那个 符号串
是
indexable
name
对于
那个 实体
(=>
(
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
如果
实体
是
职业贸易
的
instance
或
那个 实体
是
职业
的
instance
和
那个 实体
是
另一个 实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
类
这样
那个 类
是
研究领域
的
subclass
和
那个 类
有 在
那个 另外 实体
的专业知识 在
那个 时间位置
holdsDuring
(=>
(
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
如果
有点 实体
的
price
从
有认知的主事
根据
PricingScheme
是
货币测量
或
unit
price
已收费
那个 有认知的主事
在
那个 PricingScheme
底下 对于
函数量
是
有点 实体
和
那个 有点 实体
是
物理
的
subclass
和
另一个 实体
是
那个 有点 实体
的
immediateInstance
和
那个 PricingScheme
是
valid
对于
有点 施事体
和
第三 实体
是
有点 施事体
的
instance
,
然后
如果
第四 实体
是
购买
的
instance
和
那个 第三 实体
是
那个 第四 实体
的
agent
和
那个 有认知的主事
是
那个 第四 实体
的源头 和
那个 另外 实体
是
那个 第四 实体
的
patient
,
然后
那个 货币测量
是
那个 第四 实体
的
transaction
总额
的声明 has
容易
的语气
(=>
(
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
如果
有点 实体
的
price
从
有认知的主事
根据
PricingScheme
是
货币测量
或
unit
price
已收费
那个 有认知的主事
在
那个 PricingScheme
底下 对于
函数量
是
有点 实体
和
那个 有点 实体
是
物理
的
subclass
和
另一个 实体
是
那个 有点 实体
的
immediateInstance
和
那个 PricingScheme
是
valid
during
时距
,
然后
如果
第三 实体
是
出售
的
instance
和
那个 有认知的主事
是
那个 第三 实体
的
agent
和
那个 另外 实体
是
那个 第三 实体
的
patient
,
然后
那个 货币测量
是
那个 第三 实体
的
transaction
总额
的声明 has
容易
的语气 在
那个 时距
holdsDuring
(=>
(
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
如果
有点 HotelFunctionRoom
的 承租人 能
pay
去使用
有点 物理
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后 有存在
实数
和
测量单位
这样
那个 客体
是 对于
那个 施事体
的
price
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 实数
是
greaterThan
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
如果
施事体
的 承租人 能
pay
去使用
有点 物理
和
过程
是
有点 物理
的
instance
和
那个 施事体
是
有认知的主事
的
customer
和
那个 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
或
那个 有认知的主事
经历了
那个 过程
或
那个 施事体
possesses
那个 过程
和
那个 过程
是
客体
的
instance
和
那个 有认知的主事
uses
那个 过程
,
然后 有存在
实数
和
测量单位
这样
那个 过程
是 对于
那个 施事体
的
price
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 实数
是
greaterThan
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
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
客体
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
客体
是
那个 有点 物理
的
instance
和
那个 客体
是
located
在
那个 暂住
和
过程
是
过程
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 过程
是
located
在
那个 暂住
或
那个 客体
是
那个 过程
的
patient
或
那个 客体
是导致
那个 过程
的
instrument
或
那个 客体
是
那个 过程
的
resource
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 客体
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
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
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 过程
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
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
如果
生物
是
另一个 生物
的
parent
和
那个 另外 生物
是
人类的孩子
的
instance
或
那个 另外 生物
是
人类宝贝
的
instance
,
然后 有存在
实体
这样
那个 实体
是
ChildCareService
的
instance
和
那个 生物
desires
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736
如果
PostalPlace
是在
城市
和
那个 城市
是
地缘政治区域
的
geographic
次要地区 和
那个 地缘政治区域
是
国家
的
instance
或
那个 地缘政治区域
是
依赖或特殊主权领域
的
instance
,
然后
那个 PostalPlace
是在
那个 地缘政治区域
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