not
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER 0))
(
not
(
equal
?NUMBER1 0))
(
not
(
equal
?NUMBER2 0)))
(
equal
(
SignumFn
?NUMBER2)
(
SignumFn
?NUMBER)))
Merge.kif 5130-5142
如果
整数
模除
另一个 整数
equal
第三 整数
和
那个 第三 整数
不
equal
0 和
那个 整数
不
equal
0 和
那个 另外 整数
不
equal
0,
然后
那个 另外 整数
的正或负值
equal
那个 第三 整数
的正或负值
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
如果
整数
模除
另一个 整数
equal
第三 整数
和
那个 另外 整数
不
equal
0,
然后 (取
那个 整数
和
那个 另外 整数
的底整数 和
那个 另外 整数
和
那个 第三 整数
)
equal
那个 整数
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
如果
机构
equal
DepartmentOfFn
另一个 机构
and
有点 物理
和
那个 机构
2 是
那个 另外 机构
Organization
的一部分 和
那个 机构
不
equal
那个 机构
2 和
实体
是
有点 物理
的
instance
和
那个 机构
对
那个 实体
感兴趣 和
实数
equal
那个 机构
是
另一个 实体
的
agent
的机率 和
那个 另外 实体
2
equal
那个 机构
2 是
那个 另外 实体
的
agent
的机率,
然后
那个 实数
是
greaterThan
那个 另外 实体
2
(=>
(
and
(
equal
?L
(
LineFn
?P1 ?P2))
(
part
?OP1 ?L)
(
part
?OP2 ?L)
(
not
(
equal
?OP1 ?OP2))
(
equal
?L2
(
LineFn
?OP1 ?OP2)))
(
part
?L2 ?L))
ComputingBrands.kif 2636-2644
如果
客体
equal
另一个 客体
和
第三 客体
之间线路 和
第四 客体
是
那个 客体
的
part
和
第五 客体
是
那个 客体
的
part
和
那个 第四 客体
不
equal
那个 第五 客体
和
那个 客体
2
equal
那个 第四 客体
和
那个 第五 客体
之间线路,
然后
那个 客体
2 是
那个 客体
的
part
(=>
(
and
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
))
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))
Merge.kif 3083-3102
如果
串列
equal
List
包含
另一个 串列
和
第三 串列
和
那个 另外 串列
不
equal
空列表
和
那个 第三 串列
不
equal
空列表
和
正整数
是
lessThanOrEqualTo
那个 另外 串列
的长度 和
另一个 正整数
是
lessThanOrEqualTo
那个 第三 串列
的长度 和
那个 正整数
是
正整数
的
instance
和
那个 另外 正整数
是
正整数
的
instance
,
然后
那个 串列
的第
那个 正整数
几个元素
equal
那个 另外 串列
的第
那个 正整数
几个元素 和
那个 串列
的第 (
那个 另外 串列
的长度 和
那个 另外 正整数
) 几个元素
equal
那个 第三 串列
的第
那个 另外 正整数
几个元素
(=>
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
links
?NODE1 ?NODE2 ?ARC1)
(
links
?NODE1 ?NODE2 ?ARC2)
(
not
(
equal
?ARC1 ?ARC2)))
(
instance
?GRAPH
MultiGraph
))
Merge.kif 5790-5799
如果
图弧
是
图
的
part
和
另一个 图弧
是
那个 图
的
part
和
图节点
是
那个 图
的
part
和
另一个 图节点
是
那个 图
的
part
和
那个 图弧
links
那个 图节点
和
那个 另外 图节点
和
那个 另外 图弧
links
那个 图节点
和
那个 另外 图节点
和
那个 图弧
不
equal
那个 另外 图弧
,
然后
那个 图
是
多重图
的
instance
(=>
(
and
(
graphPart
?PATH ?GRAPH)
(
not
(
instance
?GRAPH
DirectedGraph
)))
(<=>
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2))
(
instance
?PATH
(
GraphPathFn
?NODE2 ?NODE1))))
Merge.kif 6062-6068
如果
图元素
是
图
的
part
和
那个 图
不 是
有向图
的
instance
,
然后
那个 图元素
是
图节点
和
另一个 图节点
的路径集
Set
的
instance
若且唯若
那个 图元素
是
那个 另外 图节点
和
那个 图节点
的路径集
Set
的
instance
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
如果
有认知的主事
有
account
用户帐号
和
那个 用户帐号
有
password
电脑密码
和
deviceAccount
那个 用户帐号
and
电脑
和
那个 有认知的主事
doesn't
knows
那个 用户帐号
有
password
那个 电脑密码
和
那个 有认知的主事
knows
recoveryKey
实体
and
那个 用户帐号
和
那个 有认知的主事
possesses
那个 电脑
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
ChangingPassword
的
instance
和
那个 用户帐号
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
的声明 has
可能性
的语气
(=>
(
and
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
hasGUEState
?WIN1
GUE_MaximizedWindowState
)
(
screenOfGUIE
?WIN1 ?SCREEN)
(
instance
?WIN2
InterfaceWindow
)
(
screenOfGUIE
?WIN2 ?SCREEN)
(
not
(
equal
?WIN1 ?WIN2)))
(
or
(
hasGUEState
?WIN2
GUE_CoveredState
)
(
hasGUEState
?WIN2
GUE_PartiallyCoveredState
)
(
hasGUEState
?WIN2
GUE_OffscreenState
)))
ComputerInput.kif 2120-2131
如果
GUIElement
有
state
GUE_UncoveredState
和
那个 GUIElement
有
state
GUE_MaximizedWindowState
和
那个 GUIElement
是
displayed
在
ComputerScreen
和
另一个 GUIElement
是
InterfaceWindow
的
instance
和
那个 另外 GUIElement
是
displayed
在
那个 ComputerScreen
和
那个 GUIElement
不
equal
那个 另外 GUIElement
,
然后
那个 另外 GUIElement
有
state
GUE_CoveredState
或
那个 另外 GUIElement
有
state
GUE_PartiallyCoveredState
或
那个 另外 GUIElement
有
state
GUE_OffscreenState
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
如果
Dieting
是
施事体
的
attribute
在
时距
holdsDuring
和
Dieting
不 是
那个 施事体
的
attribute
在
另一个 时距
holdsDuring
和
客体
是
Meal
的
instance
和
过程
是
进食
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
resource
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
的
measure
是
实数
卡路里
和
另一个 客体
是
Meal
的
instance
和
另一个 过程
是
进食
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 客体
是
那个 另外 过程
的
resource
和
那个 另外 过程
出现 的
time
在
那个 另外 时距
时段内发生 和
那个 另外 客体
的
measure
是
另一个 实数
卡路里
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
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
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
如果
过程
是
连接
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
不 是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
objectAttached
那个 过程
and
那个 实体
和
objectAttached
那个 过程
and
那个 另外 实体
(=>
(
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
AutonomousAgent
)
(
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 772-795
如果
施事体
是
施事体
的
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
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2162-2175
如果
施事体
是
动物
的
instance
和
属性
是
疾病或综合症
的
instance
和
那个 属性
不 是
那个 施事体
的
attribute
,
然后 有存在
转移
和
客体
这样
那个 转移
是
生物过程
的
instance
和
那个 转移
是
移除
的
instance
和
那个 施事体
是
那个 转移
的源头 和
那个 客体
是
污水
的
instance
和
那个 施事体
是
那个 转移
的
agent
和
objectTransferred
那个 转移
and
那个 客体
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
ConvexRoundShape
))
Mid-level-ontology.kif 5016-5025
如果
客体
是
气泡
的
instance
和 不存在
另一个 客体
和
属性
这样
那个 属性
是
那个 另外 客体
的
attribute
和
那个 另外 客体
不
equal
加油站
和
那个 另外 客体
接上
那个 客体
,
然后
中凸的圆形
是
那个 客体
的
attribute
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4081-4113
如果
客体
是
BimetalTemperatureSensor
的
instance
和
另一个 客体
是
金属
的
instance
和
第三 客体
是
金属
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
和
实体
是
温度测量
的
instance
和
另一个 实体
是
温度测量
的
instance
和
实数
是
长度测量
的
instance
和
另一个 实数
是
长度测量
的
instance
和
第三 实数
是
长度测量
的
instance
和
第四 实数
是
长度测量
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
时间位置
不
equal
另一个 时间位置
和
那个 客体
的
measure
是
那个 实体
和
那个 另外 客体
的
measure
是
那个 实数
和
那个 第三 客体
的
measure
是
那个 另外 实数
在
那个 时间位置
holdsDuring
和
那个 客体
的
measure
是
那个 另外 实体
和
那个 另外 客体
的
measure
是
那个 第三 实数
和
那个 第三 客体
的
measure
是
那个 第四 实数
在
那个 另外 时间位置
holdsDuring
,
然后
那个 实数
和
那个 另外 实数
不
equal
那个 第三 实数
和
那个 第四 实数
(=>
(
and
(
instance
?C
Convoy
)
(
member
?X1 ?C)
(
member
?X2 ?C)
(
not
(
equal
?X1 ?X2)))
(
exists
(?P1 ?P2 ?D)
(
and
(
instance
?P1
Transportation
)
(
instance
?P2
Transportation
)
(
agent
?P1 ?X1)
(
agent
?P2 ?X2)
(
destination
?P1 ?D)
(
destination
?P2 ?D))))
Military.kif 108-122
如果
群体
是
护航
的
instance
和
施事体
是
那个 群体
的
member
和
另一个 施事体
是
那个 群体
的
member
和
那个 施事体
不
equal
那个 另外 施事体
,
然后 有存在
过程
,
另一个 过程
, and 和
实体
这样
那个 过程
是
运输
的
instance
和
那个 另外 过程
是
运输
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 过程
在
那个 实体
结束 和
那个 另外 过程
在
那个 实体
结束
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
如果
客体
是
水晶
的
instance
和
单晶结构
是
那个 客体
的
attribute
和
自身连接物体
是
物质
的
instance
和
固体
是
那个 自身连接物体
的
attribute
和
多晶结构
是
那个 自身连接物体
的
attribute
和
另一个 自身连接物体
是
物质
的
instance
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 客体
不 是
那个 另外 自身连接物体
的
part
,
然后 有存在
那个 客体
LNT,
整数
, and 和
另一个 客体
这样
那个 客体
LNT 是
群体
的
instance
和
那个 整数
是
那个 客体
LNT 的
member
计数 和
那个 整数
是
greaterThanOrEqualTo
4 和
如果
那个 另外 客体
是
那个 客体
LNT 的
member
,
然后
那个 另外 客体
是
那个 自身连接物体
的
part
和
那个 客体
接上
那个 另外 客体
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
如果
过程
是
InPersonCommunication
的
instance
和
施事体
是
那个 过程
的
agent
和
另一个 施事体
是
那个 过程
的
agent
和
那个 施事体
不
equal
那个 另外 施事体
,
然后
那个 施事体
在
那个 另外 施事体
的
近
在
那个 过程
holdsDuring
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
如果
实体
是
COVIDAntibody
的
instance
和
Covid19
不 是
另一个 实体
的
attribute
和
那个 实体
是
那个 另外 实体
的
part
在
时间位置
holdsDuring
,
然后
Covid19
是
那个 另外 实体
的
attribute
的声明 has
较不可能
的语气 在 紧接
那个 时间位置
after
holdsDuring
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
如果
客体
是
连接线
的
instance
和
另一个 客体
不 是
Cable
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 另外 客体
是
公
的
instance
或
那个 另外 客体
是
母
的
instance
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
如果
地缘政治区域
是
美国城市
的
instance
和
那个 地缘政治区域
是
加州
的
part
和
那个 地缘政治区域
不
equal
洛杉矶加利福尼亚州
,
然后
洛杉矶加利福尼亚州
的
resident
instance
的数量 是
greaterThan
那个 地缘政治区域
的
resident
instance
的数量
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
如果
群体
是
群体
的
instance
和
WebSite
是
WebSite
的
instance
和
施事体
是
施事体
的
instance
和
WebListing
是
WebListing
的
instance
和
时点
是
时点
的
instance
和
那个 施事体
sells
那个 WebListing
和
那个 WebListing
不 是
那个 群体
的
member
和 对所有
物理
和
另一个 物理
如果
那个 物理
是
WebListing
的
instance
和
那个 物理
是 样品对于
sale
由
那个 施事体
在
那个 WebSite
的
member
和
那个 时点
时段 是
那个 物理
出现 的
time
时段 的一
part
和
那个 物理
不
equal
那个 WebListing
,
然后
那个 物理
是
那个 群体
的
member
和
如果
那个 另外 物理
是
那个 群体
的
member
,
然后
那个 时点
时段 是
那个 物理
出现 的
time
时段 的一
part
和
那个 另外 物理
是
WebListing
的
instance
,
然后 东西对于
sale
由
那个 施事体
非列在
那个 WebListing
在
那个 WebSite
期间
那个 时点
equal
那个 群体
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 877-888
如果
群体
是
HomologousChromosomeSet
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
真核细胞
的
part
和
MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
另一个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
那个 MonoploidChromosomeSet
不
equal
那个 另外 MonoploidChromosomeSet
,
然后
homologousChromosomePair
那个 MonoploidChromosomeSet
and
那个 另外 MonoploidChromosomeSet
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