Human
(人类)
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 492-503
如果
有点 身体部位
是
TrueRibBone
的
instance
和
有点 身体部位
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 有点 身体部位
这样
另一个 有点 身体部位
是
Sternum
的
instance
和
那个 另外 有点 身体部位
是
那个 客体
的
part
和
connectedBodyPart
那个 另外 有点 身体部位
and
那个 有点 身体部位
(=>
(
and
(
instance
?RC
RibCage
)
(
part
?RC ?H)
(
instance
?H
Human
)
(
attribute
?H
Living
)
(
not
(
and
(
instance
?P
PathologicProcess
)
(
located
?P ?H))))
(
exists
(?HT ?LG)
(
and
(
instance
?HT
Heart
)
(
instance
?HT
Lung
)
(
contains
?RC ?LG)
(
contains
?RC ?HT))))
Mid-level-ontology.kif 11247-11262
如果
自身连接物体
是
RibCage
的
instance
和
那个 自身连接物体
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
活的
是
那个 客体
的
attribute
和 ~{
物理
是
病理过程
的
instance
} 或 ~{
那个 物理
是
located
在
那个 客体
},
然后 有存在
那个 客体
T 和
第三 客体
这样
那个 客体
T 是
心
的
instance
和
那个 客体
T 是
肺
的
instance
和
那个 自身连接物体
contains
那个 第三 客体
和
那个 自身连接物体
contains
那个 客体
T
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
exists
(?R)
(
and
(
instance
?R
Requesting
)
(
patient
?R ?SPAM)))))
ComputingBrands.kif 4197-4208
如果
过程
是
Spamming
的
instance
和
那个 过程
PAM 是
那个 过程
的
result
和
那个 过程
是
Spam
的
instance
和
另一个 实体
是
人类
的
instance
和
那个 过程
在
那个 另外 实体
结束,
然后 不存在
另一个 过程
这样
那个 另外 过程
是
要求
的
instance
和
那个 过程
PAM 是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
如果
过程
是
Spamming
的
instance
和
那个 过程
PAM 是
那个 过程
的
result
和
那个 过程
是
Spam
的
instance
和
另一个 实体
是
人类
的
instance
和
那个 过程
在
那个 另外 实体
结束,
然后
那个 另外 实体
wants
那个 过程
PAM 的声明 doesn't have
容易
的语气
(=>
(
and
(
instance
?S
Strangling
)
(
patient
?S ?V)
(
instance
?V
Human
))
(
hasPurpose
?S
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
agent
?B ?V))))))
Mid-level-ontology.kif 6537-6547
如果
过程
是
绞杀
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
人类
的
instance
,
然后
那个 过程
的 目的 是 不存在
另一个 实体
这样
那个 另外 实体
是
呼吸
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
如果
客体
是
礼堂座位
的
instance
和
那个 客体
是
另一个 客体
的
part
和
第三 客体
是
那个 另外 客体
的
part
和
那个 另外 客体
是
礼堂
的
instance
和
那个 第三 客体
是
表演阶段
的
instance
和
第四 客体
是
located
在
那个 客体
和
那个 第四 客体
是
人类
的
instance
和
有点 过程
是
看
的
subclass
和 对所有
另一个 过程
如果
那个 另外 过程
是
有点 过程
的
instance
,
然后
那个 第三 客体
是
那个 另外 过程
的
patient
,
然后
那个 第四 客体
能够担当
主事
的角色做
那个 有点 过程
(=>
(
and
(
instance
?SENDER
Nation
)
(
instance
?RECEIVER
Nation
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ROLE)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
representativeAgentToAgent
?SENDER ?PERSON ?RECEIVER))
(
diplomaticRepresentationType
?SENDER ?ROLE ?RECEIVER))
Government.kif 4621-4629
(=>
(
and
(
instance
?SERVICE
ChristianService
)
(
agent
?SERVICE ?PERSON)
(
instance
?PERSON
Human
))
(
member
?PERSON
Christianity
))
People.kif 783-788
如果
过程
是
基督徒服务
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
人类
的
instance
,
然后
那个 施事体
是
基督教
的
member
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16916-16923
如果
过程
是
劳工引人注目
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 有认知的主事
是
人类
的
instance
和
施事体
是
那个 过程
的
patient
和
那个 施事体
是
机构
的
instance
,
然后
那个 施事体
employs
那个 有认知的主事
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
如果
时距
是
TimePeriod
的
instance
和
那个 时距
的
duration
是
实数
分钟
和
那个 实数
是
greaterThan
5.0 和
实体
是
人类
的
instance
和 不存在
过程
这样
那个 过程
是
呼吸
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
死亡
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 时距
接着
那个 另外 实体
出现 的
time
的声明 has
容易
的语气
(=>
(
and
(
instance
?TEXT
BirthCertificate
)
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N)
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
Day
)
(
birthplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)))))
Biography.kif 250-264
如果
内容承载物理
是
出生证明
的
instance
和
过程
是
出生
的
instance
和
施事体
是
人类
的
instance
和
那个 施事体
经历了
那个 过程
,
然后
containsFormula
那个 内容承载物理
and 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
那个 施事体
的
birthdate
和
那个 实体
是
日
的
instance
和
那个 另外 实体
是
那个 施事体
的
birthplace
和
那个 另外 实体
是
地理区域
的
instance
和
那个 第三 实体
表达
那个 施事体
和
那个 第三 实体
是
Name
的
instance
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
如果
内容承载物理
是
DeathCertificate
的
instance
和
过程
是
死亡
的
instance
和
施事体
是
人类
的
instance
和
那个 施事体
经历了
那个 过程
,
然后
containsFormula
那个 内容承载物理
and 有存在
那个 过程
AY,
另一个 实体
,, ,
第三 实体
, and 和
那个 另外 实体
ROC 这样
那个 过程
AY 是
那个 施事体
的
deathdate
和
那个 过程
AY 是
日
的
instance
和
那个 另外 实体
是
那个 施事体
的
deathplace
和
那个 另外 实体
是
地理区域
的
instance
和
那个 第三 实体
表达
那个 施事体
和
那个 第三 实体
是
Name
的
instance
和
那个 另外 实体
ROC
causes
那个 过程
和
那个 另外 实体
ROC 是
过程
的
instance
(=>
(
and
(
instance
?TEXT
MarriageCertificate
)
(
instance
?A
Human
)
(
instance
?B
Human
)
(
spouse
?A ?B))
(
containsFormula
?TEXT
(
exists
(?DAY)
(
and
(
weddingdate
?A ?B ?DAY)
(
instance
?DAY
Day
)))))
Biography.kif 307-317
如果
内容承载物理
是
MarriageCertificate
的
instance
和
人类
是
人类
的
instance
和
另一个 人类
是
人类
的
instance
和
那个 人类
是
那个 另外 人类
的
spouse
,
然后
containsFormula
那个 内容承载物理
and 有存在
实体
这样
那个 人类
和
那个 另外 人类
之前是
married
在
那个 实体
和
那个 实体
是
日
的
instance
(=>
(
and
(
instance
?VEHICLE
CargoVehicle
)
(
instance
?O
Human
))
(
not
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?O)
(
instrument
?T ?VEHICLE)))
Possibility
)))
Transportation.kif 1766-1776
如果
实体
是
货车
的
instance
和
另一个 实体
是
人类
的
instance
,
然后 有存在
第三 实体
这样
那个 第三 实体
是
运输
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
patient
和
那个 实体
是导致
那个 第三 实体
的
instrument
的声明 doesn't have
可能性
的语气
(=>
(
and
(
instance
?VEHICLE
PassengerVehicle
)
(
instance
?HUMAN
Human
))
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?HUMAN)
(
instrument
?T ?VEHICLE)))
Possibility
))
Transportation.kif 1748-1758
如果
实体
是
乘用车
的
instance
和
另一个 实体
是
人类
的
instance
,
然后 有存在
第三 实体
这样
那个 第三 实体
是
运输
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
patient
和
那个 实体
是导致
那个 第三 实体
的
instrument
的声明 has
可能性
的语气
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
如果
人类
是
人类
的
instance
和
群体
是
群体
的
instance
和 对所有
试验
和
物理
如果 有存在
有点 过程
这样
那个 试验
是
试验
的
instance
和
那个 物理
是
过程
的
instance
和
那个 物理
是
events
在
那个 试验
的
member
和
那个 物理
是
有点 过程
的
instance
和
那个 人类
能够担当
经历者
的角色做
那个 有点 过程
,
然后
那个 物理
是
那个 群体
的
member
和
如果
另一个 物理
是
那个 群体
的
member
,
然后
那个 另外 物理
是
过程
的
instance
和 有存在
另一个 试验
和
那个 另外 物理
ESS 这样
那个 另外 试验
是
试验
的
instance
和
那个 另外 物理
是
events
在
那个 另外 试验
的
member
和
那个 另外 物理
是
那个 另外 物理
ESS 的
instance
和
那个 人类
能够担当
经历者
的角色做
那个 另外 物理
ESS
,
然后 所有流程
那个 人类
是
qualified
对于
equal
那个 群体
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?QPVIEWS
Collection
)
(
forall
(?PAGE ?ACCESSING ?EXPERIMENT)
(=>
(
and
(
instance
?PAGE
WebPage
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?EXPERIMENT
Experimenting
)
(
agent
?ACCESSING ?VISITOR)
(
patient
?ACCESSING ?PAGE)
(
treatedPage
?PAGE ?EXPERIMENT))
(
member
?ACCESSING ?QPVIEWS))))
(
equal
?QPVIEWS
(
QPViewsFn
?VISITOR)))
UXExperimentalTerms.kif 4175-4190
如果
人类
是
人类
的
instance
和
群体
是
群体
的
instance
和 对所有
WebPage
,
过程
, and 和
试验
如果
那个 WebPage
是
WebPage
的
instance
和
那个 过程
是
AccessingWebPage
的
instance
和
那个 试验
是
试验
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 WebPage
是
那个 过程
的
patient
和
那个 WebPage
是
那个 试验
的 研究对象,
然后
那个 过程
是
那个 群体
的
member
,
然后
那个 群体
equal
所有的
treated
web
page
浏览从
那个 人类
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
如果
群体
是
群体
的
instance
和
另一个 群体
是
群体
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
AccessingWebPage
的
instance
和 对所有
过程
,
施事体
,, ,
另一个 过程
,, ,
那个 过程
, and 和
客体
如果
那个 施事体
是
人类
的
instance
和
那个 过程
是
购买
的
instance
和
那个 另外 过程
是
AccessingWebPage
的
instance
和
那个 客体
是
WebPage
的
instance
和
那个 另外 过程
是
那个 群体
的
member
和
那个 另外 过程
在
那个 客体
结束 和
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
在
那个 另外 过程
出现 的
time
时段内发生 和
那个 客体
是导致
那个 过程
的
instrument
,
然后
那个 过程
是
那个 另外 群体
的
member
,
然后 有存在
时距
,
实体
_IN_INTERVAL, and 和
另一个 实体
_IN_INTERVAL 这样
purchases
花在
那个 群体
期间
那个 时距
equal
那个 实体
_IN_INTERVAL 所描述的类别
instance
的数量 和
那个 另外 实体
_IN_INTERVAL 所描述的类别
instance
的数量
(=>
(
and
(
instance
?W
WorkLeave
)
(
instance
?WORK
Working
)
(
agent
?W ?PERSON)
(
agent
?WORK ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
overlapsTemporally
(
WhenFn
?W)
(
WhenFn
?WORK))))
Mid-level-ontology.kif 20426-20436
如果
过程
是
WorkLeave
的
instance
和
那个 过程
ORK 是
工作的
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 过程
ORK 的
agent
和
那个 施事体
是
人类
的
instance
,
然后
那个 过程
ORK 出现 的
time
时段 doesn't 和
那个 过程
出现 的
time
重叠
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1745-1756
如果
muscleInsertion
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
Healthy
是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
有点 肌肉
的
instance
和
那个 第三 客体
是
有点 身体部位
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
connects
那个 第三 客体
和
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
如果
muscleInsertion
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
不 是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1695-1706
如果
muscleOrigin
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
Healthy
是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
有点 肌肉
的
instance
和
那个 第三 客体
是
有点 身体部位
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
connects
那个 第三 客体
和
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
如果
muscleOrigin
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3446-3450
如果
人类
的名 是
符号串
和
那个 人类
是
人类
的
instance
,
然后
那个 人类
是
called
那个 符号串
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
如果
群体
和
另一个 群体
是
orthogonal
tests
和
客体
是
人类
的
instance
和
物理
是
有点 过程
的
instance
和
有点 过程
是
试验
的
subclass
和
那个 物理
是
那个 群体
的
member
和
那个 客体
能够担当
experimentalSubject
的角色做
那个 有点 过程
,
然后 有存在
另一个 物理
和
另一个 有点 过程
这样
那个 另外 物理
是
另一个 有点 过程
的
instance
和
那个 另外 物理
是
那个 另外 群体
的
member
和
那个 另外 有点 过程
是
试验
的
subclass
和
那个 客体
能够担当
experimentalSubject
的角色做
那个 另外 有点 过程
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