Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
exists
Sigma KEE - exists
exists
antecedent
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 987-990
有存在
电脑程序
这样
电脑程序
是
那个 电脑程序
的执行
program
若且唯若
那个 电脑程序
有
可执行
的
attribute
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
如果
人类
是
国家
的
citizen
和 不存在
客体
这样
那个 人类
是
located
在
那个 客体
,
然后
那个 人类
是
located
在
那个 国家
(=>
(
and
(
customer
?CUST ?AGENT)
(
corkageFee
?AMT ?ITEM ?AGENT)
(
instance
?X ?ITEM)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?X)
(
destination
?B ?CUST)
(
origin
?B ?AGENT))))
(
instance
?D
Drinking
)
(
agent
?D ?CUST)
(
resource
?D ?X))
(
exists
(?C)
(
and
(
instance
?C
Corkage
)
(
agent
?C ?CUST)
(
refers
?C ?X)
(
destination
?C ?AGENT))))
Dining.kif 130-150
如果
有认知的主事
是
另一个 有认知的主事
的
customer
和
那个 有认知的主事
对
货币测量
收费 在
corkage
为了
有点 客体
和
另一个 客体
是
有点 客体
的
instance
和 不存在
过程
这样
那个 过程
是
购买
的
instance
和
那个 另外 客体
是
那个 过程
的
patient
和
那个 过程
在
那个 另外 有认知的主事
结束 和
那个 有认知的主事
是
那个 过程
的源头 和
另一个 过程
是
饮
的
instance
和
那个 另外 有认知的主事
是
那个 另外 过程
的
agent
和
那个 另外 客体
是
那个 另外 过程
的
resource
,
然后 有存在
第三 过程
这样
那个 第三 过程
是
Corkage
的
instance
和
那个 另外 有认知的主事
是
那个 第三 过程
的
agent
和
那个 第三 过程
提到
那个 另外 客体
和
那个 第三 过程
在
那个 有认知的主事
结束
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?CUST ?X) ?AGENT ?CUST)
Possibility
))
Dining.kif 332-346
如果
有认知的主事
provides
客体
和
那个 有认知的主事
是
另一个 有认知的主事
的
customer
和
实体
是
那个 客体
的
instance
和
那个 另外 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
有意图过程
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 另外 有认知的主事
是
那个 另外 实体
的
agent
,
然后
那个 有认知的主事
允许
那个 另外 有认知的主事
执行
那个 实体
uses
那个 另外 有认知的主事
的任务 的声明 has
可能性
的语气
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
如果
物理系统
是
汽车
的
instance
和
另一个 物理系统
是
汽车
的
instance
和
客体
是
AutomobileShock
的
instance
和
那个 客体
是
那个 物理系统
的
part
和 不存在
另一个 客体
这样
那个 另外 客体
是
AutomobileShock
的
instance
和
那个 另外 客体
是
那个 另外 物理系统
的
part
和
dampingRatio
那个 物理系统
and
实数
和
dampingRatio
那个 另外 物理系统
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?AGENT
Agent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 725-748
如果
施事体
是
施事体
的
instance
和
有认知的主事
是个
potential
customer
对于
那个 施事体
和
实体
是
Reserving
的
instance
和
那个 实体
在
那个 施事体
结束 的声明 has
必要性
的语气 和 如果
那个 施事体
是
那个 有认知的主事
的
customer
是正确, 那 有存在
那个 实体
ES1 这样
那个 实体
ES1 是
Reservation
的
instance
和
那个 有认知的主事
reserves
那个 实体
ES1 和
那个 施事体
fulfills
那个 实体
ES1 的机率就 是
实数
和 如果
那个 施事体
是
那个 有认知的主事
的
customer
是正确, 那 不存在
那个 实体
ES2 这样
那个 实体
ES2 是
Reservation
的
instance
和
那个 有认知的主事
reserves
那个 实体
ES2 和
那个 施事体
fulfills
那个 实体
ES2 的机率就 是
另一个 实数
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
RoundShape
))
Mid-level-ontology.kif 4738-4747
如果
客体
是
气泡
的
instance
和 不存在
另一个 客体
和
属性
这样
那个 属性
是
那个 另外 客体
的
attribute
和
那个 另外 客体
不
equal
加油站
和
那个 另外 客体
接上
那个 客体
,
然后
圆形
是
那个 客体
的
attribute
(=>
(
and
(
instance
?BUYINGS
Collection
)
(
instance
?GMB
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMB
(
GMBFn
?BUYINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?BUYING)
(
and
(
member
?BUYING ?BUYINGS)
(
patient
?ITEM ?BUYING))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3447-3467
如果
群体
是
群体
的
instance
和
实数
是
货币测量
的
instance
和
整数
是
实数
的
instance
和
那个 实数
equal
那个 群体
的
value
和
那个 整数
equal
符号串
所描述的类别
instance
的数量,
然后
那个 群体
的
average
price
equal
那个 实数
和
那个 整数
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 540-556
如果
过程
是
CateringService
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 过程
在
那个 过程
UST 结束 和
那个 有认知的主事
是
located
在
客体
和
那个 有认知的主事
是
那个 过程
UST 的
customer
和 有存在
另一个 过程
,
实体
, and 和
第三 过程
这样
那个 另外 过程
是
烹饪
的
instance
和
那个 有认知的主事
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
result
和
那个 实体
是
那个 过程
的
patient
和
那个 第三 过程
是
进食
的
instance
和
那个 过程
UST 是
那个 第三 过程
的
agent
和
那个 第三 过程
是
located
在
2
,
然后
那个 客体
不
equal
另一个 实体
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
如果
客体
是
有点 复合物质
的
instance
和
有点 复合物质
是
复合物质
的
subclass
和 不存在
另一个 客体
这样
那个 另外 客体
是
那个 有点 复合物质
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
molecularRatio
有点 元素物质
,
整数
and
那个 有点 复合物质
和
群体
是
群组
的
instance
和
第三 客体
是
那个 群体
的
member
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
是
有点 元素物质
的
instance
,
然后
那个 整数
是
那个 群体
的
member
计数
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3908-3924
如果
实体
是
Electromagnet
的
instance
和 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
转移
的
instance
和
那个 第三 实体
是
电力
的
instance
和
objectTransferred
那个 另外 实体
and
那个 第三 实体
和
那个 实体
%n是
那个 另外 实体
发生的
path
doesn't 在
那个 另外 实体
1
holdsDuring
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
磁
的
instance
和
那个 实体
是导致
那个 第五 实体
的
instrument
doesn't 在
那个 另外 实体
1
holdsDuring
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN))
Mid-level-ontology.kif 1373-1391
如果
设备
是
枪
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 设备
的
effective
范围 和
那个 设备
和
客体
的
distance
是
那个 实数
1
那个 测量单位
和
那个 客体
是
生物
的
instance
和 不存在
那个 客体
2 这样
那个 客体
2 是在
那个 客体
和
那个 设备
between
和
那个 实数
1 是
lessThanOrEqualTo
那个 实数
,
然后
那个 设备
能够担当
工具
的角色做
符号串
所描述的类别
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN))
Mid-level-ontology.kif 1352-1369
如果
设备
是
枪
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 设备
的
effective
范围 和
那个 设备
和
客体
的
distance
是
那个 实数
1
那个 测量单位
和 不存在
那个 客体
2 这样
那个 客体
2 是在
那个 客体
和
那个 设备
between
和
那个 实数
1 是
lessThanOrEqualTo
那个 实数
,
然后
那个 设备
能够担当
工具
的角色做
符号串
所描述的类别
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
Agent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1703-1725
如果
时距
是
那个 时距
_CLASS 的
instance
和
那个 时距
_CLASS 是
过程
的
subclass
和
AccessingWebPage
是
AccessingWebPage
的
instance
和
施事体
是
施事体
的
instance
和
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
是
那个 AccessingWebPage
的
agent
和
那个 时距
在
那个 AccessingWebPage
时段内发生 和
物理
是
时距
的
instance
和 不存在
那个 时距
2 这样
那个 时距
2 是
那个 时距
_CLASS 的
instance
和
那个 施事体
是
那个 时距
2 的
agent
和
那个 时距
2 在
那个 AccessingWebPage
时段内发生 和
那个 时距
2 出现 的
time
的开始%n在
那个 时距
出现 的
time
的开始
before
发生 和
那个 AccessingWebPage
出现 的
time
的开始
equal
那个 物理
出现 的
time
的开始 和
那个 时距
出现 的
time
的开始
equal
那个 物理
出现 的
time
的结束,
然后
那个 AccessingWebPage
的
time
在 类别
那个 时距
_CLASS
equal
那个 物理
(=>
(
and
(
instance
?PROCESS
TakingOff
)
(
patient
?PROCESS ?DUD)
(
not
(
exists
(?EXPLOSION)
(
and
(
instance
?EXPLOSION
Explosion
)
(
patient
?EXPLOSION ?DUD)))))
(
instance
?DUD
AbsoluteDud
))
MilitaryDevices.kif 1409-1418
如果
过程
是
起飞
的
instance
和
实体
是
那个 过程
的
patient
和 不存在
另一个 过程
这样
那个 另外 过程
是
爆炸
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
,
然后
那个 实体
是
绝对的哑弹
的
instance
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
Agent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))
UXExperimentalTerms.kif 3163-3189
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
购买
的
instance
和 有存在
客体
这样
那个 客体
是
地缘政治区域
的
instance
和 对所有
施事体
和
过程
如果
那个 施事体
是
施事体
的
instance
和
那个 过程
是
购买
的
instance
和
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
located
在
那个 客体
,
然后
total
价值在
符号串
所描述的类别 是
实体
_PURCHASE_AMOUNT 和
那个 群体
的
value
equal
那个 实体
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
Agent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT)))
UXExperimentalTerms.kif 3206-3232
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
出售
的
instance
和 有存在
客体
这样
那个 客体
是
地缘政治区域
的
instance
和 对所有
施事体
和
过程
如果
那个 施事体
是
施事体
的
instance
和
那个 过程
是
购买
的
instance
和
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
located
在
那个 客体
,
然后
total
价值在
符号串
所描述的类别 是
实体
_SALE_AMOUNT 和
那个 群体
的
value
equal
那个 实体
_SALE_AMOUNT
(=>
(
and
(
instance
?SELLINGS
Collection
)
(
instance
?GMV
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMV
(
GMVFn
?SELLINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?SELLING)
(
and
(
member
?SELLING ?SELLINGS)
(
patient
?SELLING ?ITEM))))))))
(
equal
(
ASPFn
?SELLINGS)
(
DivisionFn
?GMV ?TOTAL)))
UXExperimentalTerms.kif 3490-3510
如果
群体
是
群体
的
instance
和
实数
是
货币测量
的
instance
和
整数
是
实数
的
instance
和
那个 实数
equal
那个 群体
的
value
和
那个 整数
equal
符号串
所描述的类别
instance
的数量,
然后
那个 群体
的
average
selling
price
equal
那个 实数
和
那个 整数
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENTING ?EVENT)
(=>
(
and
(
instance
?EXPERIMENTING
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
capability
?EVENT
experiencer
?VISITOR))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
capability
?PROC
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4448-4471
如果
人类
是
人类
的
instance
和
群体
是
群体
的
instance
和 对所有
实体
和
有点 过程
如果
那个 实体
是
试验
的
instance
和
有点 过程
是
过程
的
instance
和
那个 有点 过程
是
events
在
试验
的
member
和
那个 人类
能够担当
经历者
的角色做
那个 有点 过程
,
然后
那个 有点 过程
是
那个 群体
的
member
和
如果
另一个 有点 过程
是
那个 群体
的
member
,
然后
另一个 有点 过程
是
过程
的
instance
和 有存在
另一个 试验
这样
那个 另外 试验
是
试验
的
instance
和
那个 另外 有点 过程
是
events
在
那个 另外 试验
的
member
和
那个 人类
能够担当
经历者
的角色做
那个 另外 有点 过程
,
然后 所有流程
那个 人类
是
qualified
对于
equal
那个 群体
(=>
(
and
(
instance
?X
Pasta
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Pasta
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 600-608
如果
客体
是
Pasta
的
instance
和 不存在
另一个 客体
这样
那个 另外 客体
是
Pasta
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
又长又瘦
是
那个 客体
的
attribute
(=>
(
and
(
instance
?X
Penne
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Penne
)
(
part
?Y ?X)))))
(
and
(
exists
(?HOLE2)
(
and
(
instance
?HOLE2
Hole
)
(
part
?X ?HOLE2)))
(
attribute
?X
Fillable
)))
Food.kif 715-728
如果
客体
是
Penne
的
instance
和 不存在
另一个 客体
这样
那个 另外 客体
是
Penne
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
洞
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
可填写
是
那个 客体
的
attribute
(=>
(
and
(
instance
?X
Spaghetti
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Spaghetti
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 881-889
如果
客体
是
Spaghetti
的
instance
和 不存在
另一个 客体
这样
那个 另外 客体
是
Spaghetti
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
又长又瘦
是
那个 客体
的
attribute
(=>
(
and
(
typicalAction
?PROCESS ?AGENT)
(
instance
?A ?AGENT)
(
equal
?PPROB
(
ProbabilityFn
(
exists
(?X)
(
and
(
instance
?X ?PROCESS)
(
agent
?X ?A)))))
(
equal
?NOTPPROB
(
ProbabilityFn
(
not
(
exists
(?Y)
(
and
(
instance
?Y ?PROCESS)
(
agent
?Y ?A)))))))
(
greaterThan
?PPROB ?NOTPPROB))
Mid-level-ontology.kif 22255-22272
如果
有点 过程
是
有点 施事体
的
typical
action
和
实体
是
有点 施事体
的
instance
和
实数
equal
有存在
另一个 实体
这样
那个 另外 实体
是
有点 过程
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
的机率 和
另一个 实数
equal
不存在
第三 实体
这样
那个 第三 实体
是
那个 有点 过程
的
instance
和
那个 实体
是
那个 第三 实体
的
agent
的机率,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
typicalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
part
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
part
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23063-23080
如果
有点 客体
typically
是
另一个 有点 客体
的
part
和
实体
是
有点 客体
的
instance
和
那个 有点 客体
PROB
equal
有存在
另一个 实体
这样
那个 另外 实体
是
另一个 有点 客体
的
instance
和
那个 实体
是
那个 另外 实体
的
part
的机率 和
另一个 实数
equal
不存在
第三 实体
这样
那个 第三 实体
是
那个 另外 有点 客体
的
instance
和
那个 实体
是
那个 第三 实体
的
part
的机率,
然后
那个 有点 客体
PROB 是
greaterThan
那个 另外 实数
(=>
(
and
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
如果
typicalTemporalPart
有点 过程
and
另一个 有点 过程
和
实体
是
有点 过程
的
instance
和
那个 有点 过程
PROB
equal
有存在
另一个 实体
这样
那个 另外 实体
是
另一个 有点 过程
的
instance
和
那个 实体
时段 是
那个 另外 实体
时段 的一
part
的机率 和
另一个 实数
equal
不存在
第三 实体
这样
那个 第三 实体
是
那个 另外 有点 过程
的
instance
和
那个 实体
时段 是
那个 第三 实体
时段 的一
part
的机率,
然后
那个 有点 过程
PROB 是
greaterThan
那个 另外 实数
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?B
BodyPart
)
(
holdsDuring
?T
(
attribute
?B
Bare
)))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
covers
?C ?B))))))
Mid-level-ontology.kif 29556-29566
实体
是
身体部位
的
instance
和
Bare
是
那个 实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
服装
的
instance
和
covers
那个 另外 实体
and
那个 实体
在
那个 时间位置
holdsDuring
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10.0 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 7156-7167
客体
是
悬浮颗粒
的
instance
和
自身连接物体
是
那个 客体
的
part
和 1 的
approximate
diameter
是 %2 和 10.0 是
greaterThan
实数
和
那个 实数
是
greaterThan
2.5 若且唯若 有存在
那个 客体
10 这样
那个 客体
10 是
粗悬浮颗粒
的
instance
和
那个 客体
10 是
那个 客体
的
part
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThanOrEqualTo
?S 2.5))
(
exists
(?PM25)
(
and
(
instance
?PM25
FineParticulateMatter
)
(
part
?PM25 ?PM))))
Geography.kif 7185-7195
客体
是
悬浮颗粒
的
instance
和
自身连接物体
是
那个 客体
的
part
和 1 的
approximate
diameter
是 %2 和
实数
是
greaterThanOrEqualTo
2.5 若且唯若 有存在
那个 客体
25 这样
那个 客体
25 是
细悬浮颗粒
的
instance
和
那个 客体
25 是
那个 客体
的
part
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 372-405
年
是
那个 年
EAR
year
的
instance
和
地缘政治区域
和
那个 年
的
male
出生估计寿命
equal
实数
若且唯若 有存在
串列
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
另一个 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
符号串
的
instance
和 不存在
另一个 实体
这样
那个 另外 实体
是
那个 符号串
的
instance
和
那个 另外 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
annualExpendituresOfAreaInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?AMOUNT)))))
Economy.kif 1528-1533
1 对于 %3 在周期 %2 的
annual
地区消费 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
货币测量
是
地缘政治区域
在
annual
地区消费 在
那个 时间位置
holdsDuring
(<=>
(
annualRevenuesOfAreaInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
annualRevenuesOfArea
?AREA ?AMOUNT)))))
Economy.kif 1499-1504
地缘政治区域
annual
对于
有点 时距
在周期
货币测量
的地区收入 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
的
annual
地区收入 在
那个 时间位置
holdsDuring
(<=>
(
attribute
?HOLE1
Fillable
)
(
exists
(?HOLE2)
(
and
(
instance
?HOLE2
Hole
)
(
part
?HOLE1 ?HOLE2))))
Merge.kif 9869-9874
可填写
是
客体
的
attribute
若且唯若 有存在
另一个 客体
这样
那个 另外 客体
是
洞
的
instance
和
那个 客体
是
那个 另外 客体
的
part
(<=>
(
attribute
?MUSIC
PolyphonicMusic
)
(
exists
(?PART1 ?PART2)
(
and
(
instance
?MUSIC
MakingMusic
)
(
instance
?PART1
MakingMusic
)
(
instance
?PART2
MakingMusic
)
(
subProcess
?PART1 ?MUSIC)
(
subProcess
?PART2 ?MUSIC)
(
not
(
equal
?PART1 ?PART2))
(
cooccur
?PART1 ?MUSIC)
(
cooccur
?PART2 ?MUSIC))))
Mid-level-ontology.kif 712-723
和弦音乐
是
客体
的
attribute
若且唯若 有存在
过程
和
另一个 过程
这样
那个 客体
是
制作音乐
的
instance
和
那个 过程
是
制作音乐
的
instance
和
那个 另外 过程
是
制作音乐
的
instance
和
那个 过程
%n是
那个 客体
的
subProcess
和
那个 另外 过程
%n是
那个 客体
的
subProcess
和
那个 过程
不
equal
那个 另外 过程
和
那个 过程
和
那个 客体
同时发生 和
那个 另外 过程
和
那个 客体
同时发生
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 22469-22474
女人
是
人类
的
aunt
若且唯若 有存在
另一个 人类
这样
那个 女人
是
那个 另外 人类
的
sister
和
那个 另外 人类
是
那个 人类
的
parent
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 289-310
实数
是
串列
的
average
若且唯若 有存在
另一个 串列
这样
那个 另外 串列
的长度
equal
那个 串列
的长度 和
那个 另外 串列
的第 1 几个元素
equal
那个 串列
的第 1 几个元素 和 对所有
正整数
如果
那个 正整数
是
那个 另外 串列
的
member
,
然后 有存在
另一个 实数
,
那个 另外 实数
MINUSONE,, ,
另一个 正整数
, and 和
第三 正整数
这样
那个 另外 实数
是
greaterThan
1 和
那个 另外 实数
是
lessThanOrEqualTo
那个 另外 串列
的长度 和
那个 另外 串列
的第
那个 正整数
几个元素
equal
那个 另外 实数
和
那个 另外 正整数
是
那个 串列
的
member
和
那个 另外 实数
equal
那个 串列
的第
那个 另外 正整数
几个元素 和
那个 第三 正整数
是
那个 另外 串列
的
member
和
那个 另外 实数
MINUSONE
equal
(
那个 另外 实数
和 1) 和
那个 另外 实数
MINUSONE
equal
那个 另外 串列
的第
那个 第三 正整数
几个元素 和
那个 正整数
equal
(
那个 另外 正整数
和
那个 第三 正整数
)
和
第四 正整数
equal
那个 另外 串列
的长度 和
那个 实数
equal
那个 另外 串列
的第
那个 第四 正整数
几个元素 和
那个 第四 正整数
(<=>
(
beliefGroupPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1538-1549
百分之
实数
在
信仰团体
的人相信
那个 信仰团体
若且唯若 有存在
群体
和
另一个 群体
这样
物理
是
located
在
地理区域
和
那个 物理
是
那个 信仰团体
的
member
和
那个 物理
是
那个 群体
的
member
和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 物理
2 是
located
在
那个 地理区域
和
那个 物理
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
(<=>
(
capitalExpendituresOfAreaInPeriod
?AREA ?CAPAMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
capitalExpendituresOfArea
?AREA ?CAPAMOUNT)))))
Economy.kif 1576-1581
地缘政治区域
在周期
货币测量
对于
有点 时距
的
capital
地区支出 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
的
capital
地区支出 在
那个 时间位置
holdsDuring
(<=>
(
cousin
?P1 ?P2)
(
and
(
exists
(?G1 ?G2)
(
and
(
grandmother
?P1 ?G1)
(
grandfather
?P1 ?G2)
(
grandmother
?P2 ?G1)
(
grandfather
?P2 ?G2)))
(
not
(
exists
(?M ?F)
(
and
(
mother
?P1 ?M)
(
father
?P1 ?F)
(
mother
?P2 ?M)
(
father
?P2 ?F))))))
Mid-level-ontology.kif 22484-22499
人类
另一个 人类
是
cousins
若且唯若 有存在
女人
和
人
这样
那个 人类
的
grandmother
是
那个 女人
和
那个 人类
的
grandfather
是
那个 人
和
那个 另外 人类
的
grandmother
是
那个 女人
和
那个 另外 人类
的
grandfather
是
那个 人
和 不存在
生物
和
另一个 生物
这样
那个 生物
是
那个 人类
的
mother
和
那个 另外 生物
是
那个 人类
father
和
那个 生物
是
那个 另外 人类
的
mother
和
那个 另外 生物
是
那个 另外 人类
father
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
UnitedStatesDollar
?AMOUNT)))))
Economy.kif 3671-3676
有点 时距
是
货币测量
的
currency
交换 每美元 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
美国美元
的
currency
交换汇率 在
那个 时间位置
holdsDuring
(<=>
(
currencyExchangeRateInPeriod
?UNIT ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
?UNIT ?AMOUNT)))))
Economy.kif 3678-3683
UnitOfCurrency
对于
有点 时距
在周期
货币测量
的
currency
交换汇率 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 UnitOfCurrency
的
currency
交换汇率 在
那个 时间位置
holdsDuring
(<=>
(
customer
?AGENT1 ?AGENT2)
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
FinancialTransaction
)
(
agent
?SERVICE ?AGENT2)
(
destination
?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7396-7402
有认知的主事
是
另一个 有认知的主事
的
customer
若且唯若 有存在
过程
这样
那个 过程
是
金融交易
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 过程
在
那个 另外 有认知的主事
结束
(<=>
(
economicAidDonatedInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidDonated
?COUNTRY ?AMOUNT)))))
Economy.kif 2829-2834
地缘政治区域
是 对于
有点 时距
在期间
货币测量
的
economic
间赠补助 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
的
economic
捐赠补助 在
那个 时间位置
holdsDuring
(<=>
(
economicAidReceivedNetInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidReceivedNet
?COUNTRY ?AMOUNT)))))
Economy.kif 2869-2874
地缘政治区域
是 对于
有点 时距
在期间
货币测量
总共收到的
economic
补助 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
总共收到的
economic
补助 在
那个 时间位置
holdsDuring
(<=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2067-2072
地缘政治区域
是 对于
实数
和
有点 时距
在周期
有点 发电
从来源的
electricity
分支 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 地缘政治区域
is 对于
那个 实数
从来源
有点 发电
的
electricity
分支 在
那个 时间位置
holdsDuring
(<=>
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 418-449
地缘政治区域
和
整数
year
的
female
出生预期寿命
equal
实数
若且唯若 有存在
串列
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
另一个 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
符号串
的
instance
和 不存在
另一个 实体
这样
那个 另外 实体
是
那个 符号串
的
instance
和
那个 另外 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
equal
(
LifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 327-357
地缘政治区域
和
整数
year
的出生预期
life
equal
实数
若且唯若 有存在
串列
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
另一个 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
符号串
的
instance
和 不存在
另一个 实体
这样
那个 另外 实体
是
那个 符号串
的
instance
和
那个 另外 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
equal
(
PopulationGrowthFn
?AREA
(
YearFn
?YEAR)) ?ADJUSTEDPERCENT)
(
exists
(?Y1 ?Y2)
(
and
(
equal
(
SubtractionFn
?YEAR ?PREVIOUSYEAR) 1)
(
equal
?Y1
(
YearFn
?YEAR))
(
equal
?Y2
(
YearFn
?PREVIOUSYEAR))
(
holdsDuring
?Y1
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
holdsDuring
?Y2
(
equal
(
PopulationFn
?AREA) ?PREVIOUSPOPULATION))
(
equal
(
DivisionFn
?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
(
equal
(
SubtractionFn
?PERCENT 1) ?ADJUSTEDPERCENT))))
People.kif 78-90
地缘政治区域
和
整数
year
的
population
成长
equal
实数
若且唯若 有存在
有点 年
和
另一个 有点 年
这样 (
那个 整数
和
另一个 整数
)
equal
1 和
有点 年
equal
那个 整数
year
和
另一个 有点 年
equal
那个 另外 整数
year
和
那个 地缘政治区域
的
population
equal
另一个 实数
在
那个 有点 年
holdsDuring
和
那个 地缘政治区域
的
population
equal
第三 实数
在
那个 另外 有点 年
holdsDuring
和
那个 另外 实数
和
那个 第三 实数
equal
第四 实数
和 (
那个 第四 实数
和 1)
equal
那个 实数
(<=>
(
ethnicityPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1557-1568
实数
percent
的人在
地理区域
是
民族群组
若且唯若 有存在
群体
和
另一个 群体
这样
物理
是
located
在
那个 地理区域
和
那个 物理
是
那个 民族群组
的
member
和
那个 物理
是
那个 群体
的
member
和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 物理
2 是
located
在
那个 地理区域
和
那个 物理
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
(<=>
(
exportPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2559-2564
地缘政治区域
对
正实数
和
有点 时距
在周期
另一个 地缘政治区域
由部分
export
伙伴 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 地缘政治区域
对于
那个 正实数
由部分
那个 另外 地缘政治区域
export
伙伴 在
那个 时间位置
holdsDuring
(<=>
(
exportPartnerByRankInPeriod
?AREA1 ?AREA2 ?NTH ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartnerByRank
?AREA1 ?AREA2 ?NTH)))))
Economy.kif 2521-2526
地缘政治区域
对
正整数
和
有点 时距
在周期
另一个 地缘政治区域
由阶级
export
伙伴 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 地缘政治区域
对于
那个 正整数
由阶级
那个 另外 地缘政治区域
export
伙伴 在
那个 时间位置
holdsDuring
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1145-1159
对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
如果 ?VOTER 是 ?POLITY 的
citizen
和 ?VOTINGAGE
年持续时间
是 ?POLITY 的
suffrage
最小年纪 和 ?VOTER 的
age
是 ?AGE
年持续时间
和 ?AGE 是
greaterThanOrEqualTo
?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的
election
的
instance
,
然后 有存在 ?VOTING 这样 ?VOTING 是 ?ELECTION 的
voting
的
instance
和 ?VOTER 是 ?VOTING 的
agent
contains
强制选举法
的资料
(
hasPurpose
IBookstore
(
exists
(?D)
(
and
(
instance
?D
DownloadingOverNetwork
)
(
instrument
?D
IBookstore
)
(
instance
?T
Text
)
(
objectTransferred
?D ?T))))
ComputingBrands.kif 3275-3281
IBookstore
的 目的 是 有存在 ?D 这样 ?D 是
下載
的
instance
和
iBookstore
是导致 ?D 的
instrument
和 ?T 是
文本
的
instance
和
objectTransferred
?D and ?T
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 6003-6010
不存在
图路径
和
另一个 图路径
这样
那个 图路径
是 把
图
分成另外两个图的路径
Set
的
instance
和
那个 另外 图路径
是 把
那个 图
分成另外两个图的最短路径
Set
的
instance
和
那个 图路径
的
length
是
正整数
和
那个 另外 图路径
的
length
是
另一个 正整数
和
那个 正整数
是
lessThan
那个 另外 正整数
appearance as argument number 0
(
exists
(?MEAL ?REGION)
(
attribute
?MEAL
(
MealAttributeFn
?MEAL ?REGION)))
Food.kif 230-231
有存在
Meal
和
地区
这样 对于
那个 Meal
合适的
meal
在
那个 地区
是
那个 Meal
的
attribute
(
exists
(?T)
(
and
(
instance
?T
(
YearFn
1976))
(
holdsDuring
?T
(
coworker
SteveJobsOfApple
SteveWozniakOfApple
))))
ComputingBrands.kif 2421-2425
有存在
时间位置
这样
那个 时间位置
是 1976
year
的
instance
和
斯蒂夫·沃兹尼亚克
是
史蒂芬·贾伯斯
的
coworker
在
那个 时间位置
holdsDuring
(
exists
(?T)
(
and
(
instance
?T
(
YearFn
2002))
(
holdsDuring
?T
(
coworker
SteveJobsOfApple
TimCookOfApple
))))
ComputingBrands.kif 2409-2413
有存在
时间位置
这样
那个 时间位置
是 2002
year
的
instance
和
提姆·库克
是
史蒂芬·贾伯斯
的
coworker
在
那个 时间位置
holdsDuring
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
SortimoCorp
?T)))
Cars.kif 5112-5115
有存在
施事体
这样
那个 施事体
是
HandToolBox
的
subclass
和
manufacturer
SortimoCorp
and
那个 施事体
(
exists
(?THING)
(
instance
?THING
Entity
))
Merge.kif 808-809
有存在
实体
这样
那个 实体
是
实体
的
instance
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
finishes
?TIME
(
WhenFn
JesusOfNazareth
))
(
starts
?TIME
(
WhenFn
TwelveApostles
))
(
forall
(?MEM)
(=>
(
holdsDuring
?TIME
(
member
?MEM
TwelveApostles
))
(
holdsDuring
?TIME
(
friend
?MEM
JesusOfNazareth
))))))
Media.kif 1968-1976
有存在
时距
这样
那个 时距
是
时距
的
instance
和
那个 时距
finishes
了才到
JesusOfNazareth
出现 的
time
和
那个 时距
starts
了才到
TwelveApostles
出现 的
time
和 对所有
实体
如果
那个 实体
是
TwelveApostles
的
member
在
那个 时距
holdsDuring
,
然后
那个 实体
是
JesusOfNazareth
的
friend
在
那个 时距
holdsDuring
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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