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
properPart
は
非対称関係
の
instance
では %n
(
instance
properPart
TransitiveRelation
)
Merge.kif 927-927
properPart
は
推移関係
の
instance
では %n
(
subrelation
properPart
part
)
Merge.kif 928-928
properPart
は
part
の
subrelation
では %n
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 16083-16083
engineeringSubcomponent
は
properPart
の
subrelation
では %n
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14045-14045
geographicSubregion
は
properPart
の
subrelation
では %n
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1255-1255
physicalEnd
は
properPart
の
subrelation
では %n
(
subrelation
streamOutfall
properPart
)
Geography.kif 5685-5685
streamOutfall
は
properPart
の
subrelation
では %n
(
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 10052-10056
オブジェクト
は
HoleRegion
を
fill
s %n{ない}
HoleRegion
は
HoleRegion
の
proper
part
では %n
オブジェクト
は
HoleRegion
を
completely
fill
s %n{ない}
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
properPart
?OBJ2 ?OBJ1))
(
properlyFills
?OBJ2 ?HOLE))
Merge.kif 10058-10062
オブジェクト
は
HoleRegion
を
fill
s %n{ない}
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
HoleRegion
を
properly
fill
s %n{ない}
(=>
(
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
では %n
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
の
instance
では %n
hasGUEState
GUIElement
and
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
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_CoveredState
hasGUEState
エンティティー
_SM and
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
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_NonVisibleState
hasGUEState
エンティティー
_SM and
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
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_OffscreenState
hasGUEState
エンティティー
_SM and
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
では %n
エンティティー
_BIG は
GUIElement
の
instance
では %n
エンティティー
_SM は
エンティティー
_BIG の
proper
part
では %n
hasGUEState
エンティティー
_BIG and
GUE_PassiveState
hasGUEState
エンティティー
_SM and
GUE_PassiveState
(=>
(
and
(
instance
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9939-9947
オブジェクト
は
HoleRegion
の
instance
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
オブジェクト
と
meet
ない
(=>
(
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
では %n
GUIElement
は
UncoveringGraphicalWindow
の
patient
では %n
GUIElement
は
InterfaceWindow
の
instance
では %n
オブジェクト
は
GUIElement
の
proper
part
では %n
オブジェクト
は
Cursor
の
instance
では %n
guiElementUncovered
UncoveringGraphicalWindow
and
GUIElement
(=>
(
properPart
?OBJ1 ?OBJ2)
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1))))
Merge.kif 935-940
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9885-9892
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
と
自己接続オブジェクト
の部分の
intersection
の
proper
part
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
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
では %n
GUIElement
は
GUIElement
の
instance
では %n
GUIElement
は
InterfaceWindow
の
instance
では
GUIElement
は
InterfaceWindow
の
instance
では
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
と
equal
では %n
(=>
(
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 18564-18577
工程
は
Sharing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
工程
の
patient
では %n
工程
オブジェクト
工程
は
与える
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
に
end
s %n{ない}
(=>
(
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
では %n
GUIElement
は
GUIElement
の
instance
では %n
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
は
InterfaceWindow
の
instance
では
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
は
GUIElement
の
proper
part
では %n
(=>
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1)))
(
properPart
?OBJ1 ?OBJ2))
Merge.kif 942-947
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
オブジェクト
の
proper
part
では %n
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
elevation
オブジェクト
and
長さ測定
オブジェクト
オブジェクト
は
SeaLevel
の
proper
part
では %n
オブジェクト
は
Vertical
対
オブジェクト
では %n
オブジェクト
と
オブジェクト
の
distance
は
長さ測定
では %n
(=>
(
equal
?OBJ3
(
MereologicalDifferenceFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
properPart
?PART ?OBJ3)
(
and
(
properPart
?PART ?OBJ1)
(
not
(
properPart
?PART ?OBJ2))))))
Merge.kif 9837-9846
オブジェクト
は the
difference
between the parts of
オブジェクト
and
オブジェクト
と
equal
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
オブジェクト
の
proper
part
では
(=>
(
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
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Bullet
の
instance
では %n
エンティティー
は
CartridgeCase
の
instance
では %n
エンティティー
は
物理
の
proper
part
では %n
エンティティー
は
物理
の
proper
part
では %n の 目的 %n{ない}
(=>
(
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
AutonomousAgent
は
CartridgeCase
の
instance
では %n
オブジェクト
オブジェクト
and
工程
オブジェクト
は
BulletCartridge
の
instance
では %n
オブジェクト
は
Bullet
の
instance
では %n
工程
は
保持
の
instance
では %n
AutonomousAgent
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
(=>
(
instance
?COMPARTMENT
ShipCabin
)
(
exists
(?SHIP)
(
and
(
instance
?COMPARTMENT
ShipCabin
)
(
properPart
?COMPARTMENT ?SHIP))))
Transportation.kif 2563-2568
オブジェクト
は
ShipCabin
の
instance
では %n
オブジェクト
オブジェクト
は
ShipCabin
の
instance
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
(=>
(
instance
?GULF
Gulf
)
(
exists
(?WATER)
(
and
(
instance
?WATER
SaltWaterArea
)
(
properPart
?GULF ?WATER))))
Geography.kif 5138-5143
オブジェクト
は
Gulf
の
instance
では %n
オブジェクト
オブジェクト
は
塩水地域
の
instance
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
(=>
(
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 18477-18488
工程
は
Hanging
の
instance
では %n
オブジェクト
オブジェクト
and
AutonomousAgent
AutonomousAgent
は
人[人間]
の
instance
では %n
オブジェクト
は
String
の
instance
では %n
オブジェクト
は
Neck
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
は
AutonomousAgent
の
proper
part
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
instance
?HOLE1
HoleRegion
)
(
exists
(?HOLE2)
(
properPart
?HOLE2 ?HOLE1)))
Merge.kif 9918-9921
オブジェクト
は
HoleRegion
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
proper
part
では %n
(=>
(
instance
?HOTEL
HotelBuilding
)
(
exists
(?ROOM)
(
and
(
instance
?ROOM
HotelRoom
)
(
properPart
?ROOM ?HOTEL))))
Hotel.kif 82-87
オブジェクト
は
HotelBuilding
の
instance
では %n
オブジェクト
オブジェクト
は
HotelRoom
の
instance
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
(=>
(
instance
?OBJ1
CellEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Lipoprotein
))))
VirusProteinAndCellPart.kif 1090-1095
オブジェクト
は
CellEnvelope
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
Lipoprotein
の
instance
では %n
(=>
(
instance
?OBJ1
CellPart
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
properPart
?OBJ1 ?CELL))))
Mid-level-ontology.kif 10882-10887
オブジェクト
は
CellPart
の
instance
では %n
オブジェクト
オブジェクト
は
細胞
の
instance
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
(=>
(
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 1185-1196
オブジェクト
は
EnvelopedVirus
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
ViralCore
の
instance
では %n
オブジェクト
オブジェクト
は
ViralCore
の
instance
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
instance
?OBJ1
LipidBilayer
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
LipidMembraneMolecule
))))
VirusProteinAndCellPart.kif 571-576
オブジェクト
は
LipidBilayer
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
LipidMembraneMolecule
の
instance
では %n
(=>
(
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 558-569
オブジェクト
は
PlasmaMembrane
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
LipidBilayer
の
instance
では %n
オブジェクト
オブジェクト
は
LipidBilayer
の
instance
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
instance
?OBJ1
PlasmaMembrane
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Protein
))))
VirusProteinAndCellPart.kif 356-361
オブジェクト
は
PlasmaMembrane
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
たんぱく質
の
instance
では %n
(=>
(
instance
?OBJ1
Virus
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
VirusPart
))))
VirusProteinAndCellPart.kif 1145-1150
オブジェクト
は
ウイルス
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
VirusPart
の
instance
では %n
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Palisade
))))
VirusProteinAndCellPart.kif 1126-1131
オブジェクト
は
VirusCoreEnvelope
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
Palisade
の
instance
では %n
(=>
(
instance
?OBJ1
VirusPart
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ1 ?OBJ2)
(
instance
?OBJ2
Virus
))))
VirusProteinAndCellPart.kif 1138-1143
オブジェクト
は
VirusPart
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
は
ウイルス
の
instance
では %n
(=>
(
instance
?OCEAN
Ocean
)
(
properPart
?OCEAN
WorldOcean
))
Geography.kif 4530-4532
オブジェクト
は
Ocean
の
instance
では %n
オブジェクト
は
WorldOcean
の
proper
part
では %n
(=>
(
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 3482-3509
物理
は
ProtectiveEyewear
の
instance
では %n
物理
は
物理
RSON
物理
RSON は
人[人間]
の
instance
では %n
物理
RSON は % を
wear
s %n{ない}
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
の 目的 %n{ない}
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 1174-1174
CellPartFn
オブジェクト
and
CellPart
は
オブジェクト
の
proper
part
では %n
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