Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
properPart
Sigma KEE - properPart
properPart
appearance as argument number 1
(
documentation
properPart
ChineseLanguage
"(
properPart
?OBJ1 ?OBJ2) 的意思是除了 ?OBJ2 本身 ?OBJ1 是 ?OBJ2 的一部分。 这是一个
TransitiveRelation
和
AsymmetricRelation
(因此也是一个
IrreflexiveRelation
)。")
chinese_format.kif 1573-1575
(
documentation
properPart
EnglishLanguage
"(
properPart
?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a
TransitiveRelation
and
AsymmetricRelation
(hence an
IrreflexiveRelation
).")
Merge.kif 930-933
(
documentation
properPart
JapaneseLanguage
"(
properPart
?OBJ1 ?OBJ2) とは、?OBJ1が?OBJ2 自体以外、?OBJ2の一部である。これは、
TransitiveRelation
と
AsymmetricRelation
である。 (したがって、
IrreflexiveRelation
)。")
japanese_format.kif 147-149
(
documentation
properPart
SpanishLanguage
"(
properPart
?OBJ1 ?OBJ2) quiere decir que ?OBJ1 es una parte de ?OBJ2 aparte de ?OBJ2 mismo. Esta es una
TransitiveRelation
y
AsymmetricRelation
(y por lo tanto
IrreflexiveRelation
).")
spanish_format.kif 172-174
(
instance
properPart
AsymmetricRelation
)
Merge.kif 926-926
真正的部分
是
非对称关系
的
instance
(
instance
properPart
TransitiveRelation
)
Merge.kif 927-927
真正的部分
是
传递关系
的
instance
(
subrelation
properPart
part
)
Merge.kif 928-928
真正的部分
是
部分
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
properPart
"%1 %n 是 %2 的
properPart
")
chinese_format.kif 175-175
(
format
EnglishLanguage
properPart
"%1 is %n a proper
part
of %2")
english_format.kif 176-176
(
format
FrenchLanguage
properPart
"%1 est %n une
part
ie
de
%2")
french_format.kif 107-107
(
format
ItalianLanguage
properPart
"%1 è %n una Parte propria di %2")
relations-it.txt 234-234
(
format
JapaneseLanguage
properPart
"%1 は %2 の proper
part
では %n")
japanese_format.kif 1936-1936
(
format
PortugueseLanguage
properPart
"%1 e' %n uma &parte de %2")
portuguese_format.kif 59-59
(
format
cz
properPart
"%1 %p{je} %n{nen�} vlastn� ��st� %2")
relations-cz.txt 65-65
(
format
de
properPart
"%1 ist ein korrektes teil von %2 %n{nicht}")
relations-de.txt 220-220
(
format
hi
properPart
"%1 %2 kaa uchita bhaaga %n hai")
relations-hindi.txt 272-272
(
format
ro
properPart
"%1 %n{nu} este o
part
%t{parte} proper%t{proprie} a lui %2")
relations-ro.kif 126-126
(
format
sv
properPart
"%1 är %n{inte} en riktig
de
l av %2")
relations-sv.txt 112-112
(
format
tg
properPart
"%1 %n ay ang bahagi ng %2")
relations-tg.txt 426-426
(
subrelation
engineeringSubcomponent
properPart
)
Merge.kif 16105-16105
工程子组件
是
真正的部分
的
subrelation
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14067-14067
地理分区域
是
真正的部分
的
subrelation
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1255-1255
physicalEnd
是
真正的部分
的
subrelation
(
subrelation
streamOutfall
properPart
)
Geography.kif 5685-5685
流出口
是
真正的部分
的
subrelation
(
termFormat
ChineseLanguage
properPart
"真正的部分")
chinese_format.kif 176-176
(
termFormat
ChineseLanguage
properPart
"适当的部分")
domainEnglishFormat.kif 47798-47798
(
termFormat
ChineseTraditionalLanguage
properPart
"適當的部分")
domainEnglishFormat.kif 47797-47797
(
termFormat
EnglishLanguage
properPart
"proper part")
domainEnglishFormat.kif 47796-47796
(
termFormat
de
properPart
"korrektesTeil")
terms-de.txt 69-69
antecedent
(=>
(
and
(
fills
?OBJ ?HOLE1)
(
properPart
?HOLE2 ?HOLE1))
(
completelyFills
?OBJ ?HOLE2))
Merge.kif 10074-10078
如果
客体
fills
洞
和
另一个 洞
是
那个 洞
的
properPart
,
然后
那个 客体
完全
fills
那个 另外 洞
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
properPart
?OBJ2 ?OBJ1))
(
properlyFills
?OBJ2 ?HOLE))
Merge.kif 10080-10084
如果
客体
fills
洞
和
另一个 客体
是
那个 客体
的
properPart
,
然后
那个 另外 客体
适当的
fills
那个 洞
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
如果
GUIElement
是
GUIElement
的
instance
和
那个 GUIElement
有
state
GUE_ActiveState
和
那个 GUIElement
是
另一个 GUIElement
的
properPart
和
那个 另外 GUIElement
是
GUIElement
的
instance
,
然后
那个 另外 GUIElement
有
state
GUE_ActiveState
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_CoveredState
))
(
hasGUEState
?GUIE_SM
GUE_CoveredState
))
ComputerInput.kif 2082-2088
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_CoveredState
,
然后
那个 实体
_SM 有
state
GUE_CoveredState
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_NonVisibleState
))
(
hasGUEState
?GUIE_SM
GUE_NonVisibleState
))
ComputerInput.kif 2001-2007
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_NonVisibleState
,
然后
那个 实体
_SM 有
state
GUE_NonVisibleState
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_OffscreenState
))
(
hasGUEState
?GUIE_SM
GUE_OffscreenState
))
ComputerInput.kif 2029-2035
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_OffscreenState
,
然后
那个 实体
_SM 有
state
GUE_OffscreenState
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_PassiveState
))
(
hasGUEState
?GUIE_SM
GUE_PassiveState
))
ComputerInput.kif 1977-1983
如果
实体
_SM 是
GUIElement
的
instance
和
那个 实体
_BIG 是
GUIElement
的
instance
和
那个 实体
_SM 是
那个 实体
_BIG 的
properPart
和
那个 实体
_BIG 有
state
GUE_PassiveState
,
然后
那个 实体
_SM 有
state
GUE_PassiveState
(=>
(
and
(
instance
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9961-9969
如果
客体
是
洞
的
instance
和
另一个 客体
是
那个 客体
的
properPart
,
然后 有存在
第三 客体
这样
那个 客体
接上
那个 第三 客体
和
那个 另外 客体
不 接上
那个 第三 客体
(=>
(
and
(
instance
?UNCOVER
UncoveringGraphicalWindow
)
(
patient
?UNCOVER ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
properPart
?CURSOR ?WINDOW)
(
instance
?CURSOR
Cursor
))
(
guiElementUncovered
?UNCOVER ?WINDOW))
ComputerInput.kif 2423-2430
如果
UncoveringGraphicalWindow
是
UncoveringGraphicalWindow
的
instance
和
GUIElement
是
那个 UncoveringGraphicalWindow
的
patient
和
那个 GUIElement
是
InterfaceWindow
的
instance
和
客体
是
那个 GUIElement
的
properPart
和
那个 客体
是
Cursor
的
instance
,
然后
那个 UncoveringGraphicalWindow
uncovers
那个 GUIElement
(=>
(
properPart
?OBJ1 ?OBJ2)
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1))))
Merge.kif 935-940
如果
客体
是
另一个 客体
的
properPart
,
然后
那个 客体
是
那个 另外 客体
的
part
和
那个 另外 客体
不 是
那个 客体
的
part
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9907-9914
如果
洞
是
自身连接物体
内的
hole
和
那个 洞
是
另一个 自身连接物体
内的
hole
,
然后 有存在
第三 自身连接物体
这样
那个 第三 自身连接物体
是 包括
那个 自身连接物体
和
那个 另外 自身连接物体
相交的部分 的
properPart
和
那个 洞
是
那个 第三 自身连接物体
内的
hole
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
instance
?GUIE2
GUIElement
)
(
not
(
instance
?GUIE1
InterfaceWindow
))
(
not
(
instance
?GUIE2
InterfaceWindow
))
(
screenOfGUIE
?GUIE1 ?SCREEN)
(
screenOfGUIE
?GUIE2 ?SCREEN)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
hasGUEState
?GUIE2
GUE_ActiveState
))
(
or
(
properPart
?GUIE1 ?GUIE2)
(
properPart
?GUIE2 ?GUIE1)
(
equal
?GUIE1 ?GUIE2)))
ComputerInput.kif 1935-1948
如果
GUIElement
是
GUIElement
的
instance
和
另一个 GUIElement
是
GUIElement
的
instance
和
那个 GUIElement
不 是
InterfaceWindow
的
instance
和
那个 另外 GUIElement
不 是
InterfaceWindow
的
instance
和
那个 GUIElement
是
displayed
在
ComputerScreen
和
那个 另外 GUIElement
是
displayed
在
那个 ComputerScreen
和
那个 GUIElement
有
state
GUE_ActiveState
和
那个 另外 GUIElement
有
state
GUE_ActiveState
,
然后
那个 GUIElement
是
那个 另外 GUIElement
的
properPart
或
那个 另外 GUIElement
是
那个 GUIElement
的
properPart
或
那个 GUIElement
equal
那个 另外 GUIElement
(=>
(
and
(
instance
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 18563-18576
如果
过程
是
分享
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
实体
结束 和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
和
另一个 客体
这样
那个 另外 过程
是
给予
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 客体
是
那个 另外 过程
的
patient
和
那个 另外 客体
是
那个 客体
的
properPart
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
在
那个 实体
结束
(=>
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
instance
?GUIE
GUIElement
)
(
screenOfGUIE
?WINDOW ?SCREEN)
(
screenOfGUIE
?GUIE ?SCREEN)
(
not
(
instance
?GUIE
InterfaceWindow
))
(
hasGUEState
?WINDOW
GUE_ActiveState
)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
properPart
?GUIE ?WINDOW))
ComputerInput.kif 1920-1929
如果
GUIElement
是
InterfaceWindow
的
instance
和
另一个 GUIElement
是
GUIElement
的
instance
和
那个 GUIElement
是
displayed
在
ComputerScreen
和
那个 另外 GUIElement
是
displayed
在
那个 ComputerScreen
和
那个 另外 GUIElement
不 是
InterfaceWindow
的
instance
和
那个 GUIElement
有
state
GUE_ActiveState
和
那个 另外 GUIElement
有
state
GUE_ActiveState
,
然后
那个 另外 GUIElement
是
那个 GUIElement
的
properPart
(=>
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1)))
(
properPart
?OBJ1 ?OBJ2))
Merge.kif 942-947
如果
客体
是
另一个 客体
的
part
和
那个 另外 客体
不 是
那个 客体
的
part
,
然后
那个 客体
是
那个 另外 客体
的
properPart
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
如果
长度测量
是
客体
的
elevation
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
海平面
的
properPart
和
那个 客体
在
那个 另外 客体
的
垂直
和
那个 客体
和
那个 另外 客体
的
distance
是
那个 长度测量
(=>
(
equal
?OBJ3
(
MereologicalDifferenceFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
properPart
?PART ?OBJ3)
(
and
(
properPart
?PART ?OBJ1)
(
not
(
properPart
?PART ?OBJ2))))))
Merge.kif 9859-9868
如果
客体
equal
包括
另一个 客体
和
第三 客体
差异的部分,
然后 对所有
第四 客体
那个 第四 客体
是
那个 客体
的
properPart
若且唯若
那个 第四 客体
是
那个 另外 客体
的
properPart
和
那个 第四 客体
不 是
那个 第三 客体
的
properPart
(=>
(
instance
?CARTRIDGE
BulletCartridge
)
(
hasPurpose
?CARTRIDGE
(
exists
(?BULLET ?CASE)
(
and
(
instance
?BULLET
Bullet
)
(
instance
?CASE
CartridgeCase
)
(
properPart
?BULLET ?CARTRIDGE)
(
properPart
?CASE ?CARTRIDGE)))))
Mid-level-ontology.kif 1199-1207
如果
物理
是
BulletCartridge
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
子弹
的
instance
和
那个 另外 实体
是
CartridgeCase
的
instance
和
那个 实体
是
那个 物理
的
properPart
和
那个 另外 实体
是
那个 物理
的
properPart
(=>
(
instance
?CASE
CartridgeCase
)
(
exists
(?CARTRIDGE ?BULLET ?K)
(
and
(
instance
?CARTRIDGE
BulletCartridge
)
(
instance
?BULLET
Bullet
)
(
instance
?K
Keeping
)
(
properPart
?CASE ?CARTRIDGE)
(
properPart
?BULLET ?CARTRIDGE)
(
agent
?K ?CASE)
(
patient
?K ?BULLET))))
Mid-level-ontology.kif 1212-1222
如果
施事体
是
CartridgeCase
的
instance
,
然后 有存在
客体
,
另一个 客体
, and 和
过程
这样
那个 客体
是
BulletCartridge
的
instance
和
那个 另外 客体
是
子弹
的
instance
和
那个 过程
是
保存
的
instance
和
那个 施事体
是
那个 客体
的
properPart
和
那个 另外 客体
是
那个 客体
的
properPart
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 客体
是
那个 过程
的
patient
(=>
(
instance
?COMPARTMENT
ShipCabin
)
(
exists
(?SHIP)
(
and
(
instance
?COMPARTMENT
ShipCabin
)
(
properPart
?COMPARTMENT ?SHIP))))
Transportation.kif 2563-2568
如果
客体
是
船舱
的
instance
,
然后 有存在
另一个 客体
这样
那个 客体
是
船舱
的
instance
和
那个 客体
是
那个 另外 客体
的
properPart
(=>
(
instance
?GULF
Gulf
)
(
exists
(?WATER)
(
and
(
instance
?WATER
SaltWaterArea
)
(
properPart
?GULF ?WATER))))
Geography.kif 5138-5143
如果
客体
是
海湾
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
盐水区
的
instance
和
那个 客体
是
那个 另外 客体
的
properPart
(=>
(
instance
?H
Hanging
)
(
exists
(?S ?N ?P)
(
and
(
instance
?P
Human
)
(
instance
?S
String
)
(
instance
?N
Neck
)
(
experiencer
?H ?P)
(
properPart
?N ?P)
(
instrument
?H ?S)
(
holdsDuring
(
WhenFn
?H)
(
meetsSpatially
?S ?N)))))
Mid-level-ontology.kif 18476-18487
如果
过程
是
挂
的
instance
,
然后 有存在
客体
,
另一个 客体
, and 和
施事体
这样
那个 施事体
是
人类
的
instance
和
那个 客体
是
串
的
instance
和
那个 另外 客体
是
颈部
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 另外 客体
是
那个 施事体
的
properPart
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
接上
那个 另外 客体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
instance
?HOLE1
HoleRegion
)
(
exists
(?HOLE2)
(
properPart
?HOLE2 ?HOLE1)))
Merge.kif 9940-9943
如果
客体
是
洞
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
properPart
(=>
(
instance
?HOTEL
HotelBuilding
)
(
exists
(?ROOM)
(
and
(
instance
?ROOM
HotelRoom
)
(
properPart
?ROOM ?HOTEL))))
Hotel.kif 82-87
如果
客体
是
HotelBuilding
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
HotelRoom
的
instance
和
那个 另外 客体
是
那个 客体
的
properPart
(=>
(
instance
?OBJ1
CellEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Lipoprotein
))))
VirusProteinAndCellPart.kif 1089-1094
如果
客体
是
细胞包膜
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
properPart
和
那个 另外 客体
是
脂蛋白
的
instance
(=>
(
instance
?OBJ1
CellPart
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
properPart
?OBJ1 ?CELL))))
Mid-level-ontology.kif 10881-10886
如果
客体
是
细胞部分
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
细胞
的
instance
和
那个 客体
是
那个 另外 客体
的
properPart
(=>
(
instance
?OBJ1
EnvelopedVirus
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
ViralCore
)
(
not
(
exists
(?OBJ3)
(
and
(
instance
?OBJ3
ViralCore
)
(
properPart
?OBJ3 ?OBJ1)
(
not
(
equal
?OBJ3 ?OBJ2))))))))
VirusProteinAndCellPart.kif 1184-1195
如果
客体
是
笼罩病毒
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
properPart
和
那个 另外 客体
是
病毒核心
的
instance
和 不存在
第三 客体
这样
那个 第三 客体
是
病毒核心
的
instance
和
那个 第三 客体
是
那个 客体
的
properPart
和
那个 第三 客体
不
equal
那个 另外 客体
(=>
(
instance
?OBJ1
LipidBilayer
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
LipidMembraneMolecule
))))
VirusProteinAndCellPart.kif 570-575
如果
客体
是
脂质双分子层
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
properPart
和
那个 另外 客体
是
脂质膜分子
的
instance
(=>
(
instance
?OBJ1
PlasmaMembrane
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
LipidBilayer
)
(
not
(
exists
(?OBJ3)
(
and
(
instance
?OBJ3
LipidBilayer
)
(
properPart
?OBJ3 ?OBJ1)
(
not
(
equal
?OBJ3 ?OBJ2))))))))
VirusProteinAndCellPart.kif 557-568
如果
客体
是
质膜
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
properPart
和
那个 另外 客体
是
脂质双分子层
的
instance
和 不存在
第三 客体
这样
那个 第三 客体
是
脂质双分子层
的
instance
和
那个 第三 客体
是
那个 客体
的
properPart
和
那个 第三 客体
不
equal
那个 另外 客体
(=>
(
instance
?OBJ1
PlasmaMembrane
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Protein
))))
VirusProteinAndCellPart.kif 356-361
如果
客体
是
质膜
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
properPart
和
那个 另外 客体
是
蛋白质
的
instance
(=>
(
instance
?OBJ1
Virus
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
VirusPart
))))
VirusProteinAndCellPart.kif 1144-1149
如果
客体
是
病毒
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
properPart
和
那个 另外 客体
是
病毒部分
的
instance
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Palisade
))))
VirusProteinAndCellPart.kif 1125-1130
如果
客体
是
病毒核心信封
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
properPart
和
那个 另外 客体
是
栅栏
的
instance
(=>
(
instance
?OBJ1
VirusPart
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ1 ?OBJ2)
(
instance
?OBJ2
Virus
))))
VirusProteinAndCellPart.kif 1137-1142
如果
客体
是
病毒部分
的
instance
,
然后 有存在
另一个 客体
这样
那个 客体
是
那个 另外 客体
的
properPart
和
那个 另外 客体
是
病毒
的
instance
(=>
(
instance
?OCEAN
Ocean
)
(
properPart
?OCEAN
WorldOcean
))
Geography.kif 4530-4532
如果
客体
是
海洋
的
instance
,
然后
那个 客体
是
世界海洋
的
properPart
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3490-3517
如果
物理
是
防护眼镜
的
instance
,
然后
那个 物理
的 目的 是
如果 有存在
那个 物理
RSON 这样
那个 物理
RSON 是
人类
的
instance
和
那个 物理
RSON
wears
那个 物理
,
然后 有存在
另一个 实体
,
第三 实体
,, ,
第四 实体
,, ,
第五 实体
, and 和
第六 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 物理
是导致
那个 另外 实体
的
instrument
和
那个 第四 实体
是
那个 第五 实体
所描述的类别 的
subclass
和
那个 另外 实体
prevents
那个 第四 实体
的发生
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
properPart
(
CellPartFn
?CELL ?PARTTYPE) ?CELL)
VirusProteinAndCellPart.kif 1173-1173
客体
和
有点 细胞部分
的
cell
部分 是
那个 客体
的
properPart
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