Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Entity
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 925-928
(
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
(
domain
properPart
1
Object
)
Merge.kif 922-922
The number 1 argument of
proper part
is an
instance
of
object
(
domain
properPart
2
Object
)
Merge.kif 923-923
The number 2 argument of
proper part
is an
instance
of
object
(
instance
properPart
AsymmetricRelation
)
Merge.kif 919-919
proper part
is an
instance
of
asymmetric relation
(
instance
properPart
TransitiveRelation
)
Merge.kif 920-920
proper part
is an
instance
of
transitive relation
(
subrelation
properPart
part
)
Merge.kif 921-921
proper part
is a
subrelation
of
part
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 16244-16244
engineering subcomponent
is a
subrelation
of
proper part
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14183-14183
geographic subregion
is a
subrelation
of
proper part
(
subrelation
physicalEnd
properPart
)
Merge.kif 18102-18102
physical end
is a
subrelation
of
proper part
(
subrelation
streamOutfall
properPart
)
Geography.kif 5818-5818
stream outfall
is a
subrelation
of
proper part
(
termFormat
ChineseLanguage
properPart
"真正的部分")
chinese_format.kif 176-176
stream outfall
is a
subrelation
of
proper part
(
termFormat
ChineseLanguage
properPart
"适当的部分")
domainEnglishFormat.kif 47800-47800
stream outfall
is a
subrelation
of
proper part
(
termFormat
ChineseTraditionalLanguage
properPart
"適當的部分")
domainEnglishFormat.kif 47799-47799
stream outfall
is a
subrelation
of
proper part
(
termFormat
EnglishLanguage
properPart
"proper part")
domainEnglishFormat.kif 47798-47798
stream outfall
is a
subrelation
of
proper part
(
termFormat
de
properPart
"korrektesTeil")
terms-de.txt 69-69
stream outfall
is a
subrelation
of
proper part
antecedent
(=>
(
and
(
fills
?OBJ ?HOLE1)
(
properPart
?HOLE2 ?HOLE1))
(
completelyFills
?OBJ ?HOLE2))
Merge.kif 10177-10181
If
an object
fill
s
a hole
and
another hole
is a
proper
part
of
the hole
,
then
the object
completely
fill
s
the other hole
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
properPart
?OBJ2 ?OBJ1))
(
properlyFills
?OBJ2 ?HOLE))
Merge.kif 10183-10187
If
an object
fill
s
a hole
and
another object
is a
proper
part
of
the object
,
then
the other object
properly
fill
s
the hole
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
If
a GUI element
is an
instance
of
GUI element
and
the GUI element
has
state
GUE active state
and
the GUI element
is a
proper
part
of
another GUI element
and
the other GUI element
is an
instance
of
GUI element
,
then
the other GUI element
has
state
GUE active state
(=>
(
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
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE covered state
,
then
the entity
_SM has
state
GUE covered state
(=>
(
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
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE non visible state
,
then
the entity
_SM has
state
GUE non visible state
(=>
(
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
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE offscreen state
,
then
the entity
_SM has
state
GUE offscreen state
(=>
(
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
If
an entity
_SM is an
instance
of
GUI element
and
the entity
_BIG is an
instance
of
GUI element
and
the entity
_SM is a
proper
part
of
the entity
_BIG and
the entity
_BIG has
state
GUE passive state
,
then
the entity
_SM has
state
GUE passive state
(=>
(
and
(
instance
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 10062-10070
If
an object
is an
instance
of
hole
and
another object
is a
proper
part
of
the object
,
then there exists
a third object
such that
the object
meet
s
the third object
and
the other object
doesn't
meet
the third object
(=>
(
and
(
instance
?UNCOVER
UncoveringGraphicalWindow
)
(
patient
?UNCOVER ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
properPart
?CURSOR ?WINDOW)
(
instance
?CURSOR
Cursor
))
(
guiElementUncovered
?UNCOVER ?WINDOW))
ComputerInput.kif 2423-2430
If
an uncovering graphical window
is an
instance
of
uncovering graphical window
and
a GUI element
is a
patient
of
the uncovering graphical window
and
the GUI element
is an
instance
of
interface window
and
an object
is a
proper
part
of
the GUI element
and
the object
is an
instance
of
cursor
,
then
the uncovering graphical window
uncovers
the GUI element
(=>
(
properPart
?OBJ1 ?OBJ2)
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1))))
Merge.kif 930-935
If
an object
is a
proper
part
of
another object
,
then
the object
is a
part
of
the other object
and
the other object
is not a
part
of
the object
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 10008-10015
If
a hole
is a
hole
in
a self connected object
and
the hole
is a
hole
in
another self connected object
,
then there exists
a third self connected object
such that
the third self connected object
is a
proper
part
of the
intersection
of the parts of
the self connected object
and
the other self connected object
and
the hole
is a
hole
in
the third self connected object
(=>
(
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
If
a GUI element
is an
instance
of
GUI element
and
another GUI element
is an
instance
of
GUI element
and
the GUI element
is not an
instance
of
interface window
and
the other GUI element
is not an
instance
of
interface window
and
the GUI element
is
displayed
on
a computer screen
and
the other GUI element
is
displayed
on
the computer screen
and
the GUI element
has
state
GUE active state
and
the other GUI element
has
state
GUE active state
,
then
the GUI element
is a
proper
part
of
the other GUI element
or
the other GUI element
is a
proper
part
of
the GUI element
or
the GUI element
is
equal
to
the other GUI element
(=>
(
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 20135-20148
If
a process
is an
instance
of
sharing
and
an agent
is an
agent
of
the process
and
the process
end
s up at
an entity
and
an object
is a
patient
of
the process
,
then there exist
another process
and
another object
such that
the other process
is an
instance
of
giving
and
the other process
is a
subprocess
of
the process
and
the other object
is a
patient
of
the other process
and
the other object
is a
proper
part
of
the object
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the entity
(=>
(
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
If
a GUI element
is an
instance
of
interface window
and
another GUI element
is an
instance
of
GUI element
and
the GUI element
is
displayed
on
a computer screen
and
the other GUI element
is
displayed
on
the computer screen
and
the other GUI element
is not an
instance
of
interface window
and
the GUI element
has
state
GUE active state
and
the other GUI element
has
state
GUE active state
,
then
the other GUI element
is a
proper
part
of
the GUI element
(=>
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1)))
(
properPart
?OBJ1 ?OBJ2))
Merge.kif 937-942
If
an object
is a
part
of
another object
and
the other object
is not a
part
of
the object
,
then
the object
is a
proper
part
of
the other object
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1902-1908
If
a length measure
is an
elevation
of
an object
,
then there exists
another object
such that
the other object
is a
proper
part
of
sea level
and
the object
is
vertical
to
the other object
and the
distance
between
the object
and
the other object
is
the length measure
(=>
(
equal
?OBJ3
(
MereologicalDifferenceFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
properPart
?PART ?OBJ3)
(
and
(
properPart
?PART ?OBJ1)
(
not
(
properPart
?PART ?OBJ2))))))
Merge.kif 9960-9969
If
an object
is
equal
to the
difference
between the parts of
another object
and
a third object
,
then for all
a fourth object
the fourth object
is a
proper
part
of
the object
if and only if
the fourth object
is a
proper
part
of
the other object
and
the fourth object
is not a
proper
part
of
the third object
(=>
(
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 1265-1273
If
a physical
is an
instance
of
bullet cartridge
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
bullet
and
the other entity
is an
instance
of
casing
and
the entity
is a
proper
part
of
the physical
and
the other entity
is a
proper
part
of
the physical
(=>
(
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 1278-1288
If
an agent
is an
instance
of
casing
,
then there exist
an object
,
another object
and
a process
such that
the object
is an
instance
of
bullet cartridge
and
the other object
is an
instance
of
bullet
and
the process
is an
instance
of
keeping
and
the agent
is a
proper
part
of
the object
and
the other object
is a
proper
part
of
the object
and
the agent
is an
agent
of
the process
and
the other object
is a
patient
of
the process
(=>
(
instance
?COMPARTMENT
ShipCabin
)
(
exists
(?SHIP)
(
and
(
instance
?COMPARTMENT
ShipCabin
)
(
properPart
?COMPARTMENT ?SHIP))))
Transportation.kif 2769-2774
If
an object
is an
instance
of
ship cabin
,
then there exists
another object
such that
the object
is an
instance
of
ship cabin
and
the object
is a
proper
part
of
the other object
(=>
(
instance
?G
Rifle
)
(
exists
(?B ?P)
(
and
(
instance
?B
GunBore
)
(
properPart
?B ?G)
(
superficialPart
?P ?B)
(
orientation
?P ?B
Inside
)
(
not
(
attribute
?P
Smooth
)))))
Mid-level-ontology.kif 1960-1969
If
an object
is an
instance
of
rifle
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
gun bore
and
the other object
is a
proper
part
of
the object
and
the third object
is a
superficial
part of
the other object
and
the third object
is
inside
to
the other object
and
smooth
is not an
attribute
of
the third object
(=>
(
instance
?G
Shotgun
)
(
exists
(?B ?P)
(
and
(
instance
?B
GunBore
)
(
properPart
?B ?G)
(
superficialPart
?P ?B)
(
orientation
?P ?B
Inside
)
(
attribute
?P
Smooth
))))
Mid-level-ontology.kif 1943-1951
If
an object
is an
instance
of
shot gun
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
gun bore
and
the other object
is a
proper
part
of
the object
and
the third object
is a
superficial
part of
the other object
and
the third object
is
inside
to
the other object
and
smooth
is an
attribute
of
the third object
(=>
(
instance
?GULF
Gulf
)
(
exists
(?WATER)
(
and
(
instance
?WATER
SaltWaterArea
)
(
properPart
?GULF ?WATER))))
Geography.kif 5234-5239
If
an object
is an
instance
of
gulf
,
then there exists
another object
such that
the other object
is an
instance
of
salt water area
and
the object
is a
proper
part
of
the other object
(=>
(
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 20048-20059
If
a process
is an
instance
of
hanging
,
then there exist
an object
,
another object
and
an agent
such that
the agent
is an
instance
of
human
and
the object
is an
instance
of
string
and
the other object
is an
instance
of
neck
and
the agent
experience
s
the process
and
the other object
is a
proper
part
of
the agent
and
the object
is an
instrument
for
the process
and
the object
meet
s
the other object
holds
during
the
time
of existence of
the process
(=>
(
instance
?HOLE1
HoleRegion
)
(
exists
(?HOLE2)
(
properPart
?HOLE2 ?HOLE1)))
Merge.kif 10041-10044
If
an object
is an
instance
of
hole
,
then there exists
another object
such that
the other object
is a
proper
part
of
the object
(=>
(
instance
?HOTEL
HotelBuilding
)
(
exists
(?ROOM)
(
and
(
instance
?ROOM
HotelRoom
)
(
properPart
?ROOM ?HOTEL))))
Hotel.kif 82-87
If
an object
is an
instance
of
hotel
,
then there exists
another object
such that
the other object
is an
instance
of
hotel room
and
the other object
is a
proper
part
of
the object
(=>
(
instance
?OBJ1
CellEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Lipoprotein
))))
VirusProteinAndCellPart.kif 1098-1103
If
an object
is an
instance
of
cell envelope
,
then there exists
another object
such that
the other object
is a
proper
part
of
the object
and
the other object
is an
instance
of
lipoprotein
(=>
(
instance
?OBJ1
CellPart
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
properPart
?OBJ1 ?CELL))))
Mid-level-ontology.kif 12213-12218
If
an object
is an
instance
of
cell part
,
then there exists
another object
such that
the other object
is an
instance
of
cell
and
the object
is a
proper
part
of
the other object
(=>
(
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 1193-1204
If
an object
is an
instance
of
enveloped virus
,
then there exists
another object
such that
the other object
is a
proper
part
of
the object
and
the other object
is an
instance
of
viral core
and there doesn't exist
a third object
such that
the third object
is an
instance
of
viral core
and
the third object
is a
proper
part
of
the object
and
the third object
is not
equal
to
the other object
(=>
(
instance
?OBJ1
LipidBilayer
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
LipidMembraneMolecule
))))
VirusProteinAndCellPart.kif 575-580
If
an object
is an
instance
of
lipid bilayer
,
then there exists
another object
such that
the other object
is a
proper
part
of
the object
and
the other object
is an
instance
of
lipid membrane molecule
(=>
(
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 562-573
If
an object
is an
instance
of
plasma membrane
,
then there exists
another object
such that
the other object
is a
proper
part
of
the object
and
the other object
is an
instance
of
lipid bilayer
and there doesn't exist
a third object
such that
the third object
is an
instance
of
lipid bilayer
and
the third object
is a
proper
part
of
the object
and
the third object
is not
equal
to
the other object
(=>
(
instance
?OBJ1
PlasmaMembrane
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Protein
))))
VirusProteinAndCellPart.kif 361-366
If
an object
is an
instance
of
plasma membrane
,
then there exists
another object
such that
the other object
is a
proper
part
of
the object
and
the other object
is an
instance
of
protein
(=>
(
instance
?OBJ1
Virus
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
VirusPart
))))
VirusProteinAndCellPart.kif 1153-1158
If
an object
is an
instance
of
virus
,
then there exists
another object
such that
the other object
is a
proper
part
of
the object
and
the other object
is an
instance
of
virus part
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Palisade
))))
VirusProteinAndCellPart.kif 1134-1139
If
an object
is an
instance
of
virus core envelope
,
then there exists
another object
such that
the other object
is a
proper
part
of
the object
and
the other object
is an
instance
of
palisade
(=>
(
instance
?OBJ1
VirusPart
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ1 ?OBJ2)
(
instance
?OBJ2
Virus
))))
VirusProteinAndCellPart.kif 1146-1151
If
an object
is an
instance
of
virus part
,
then there exists
another object
such that
the object
is a
proper
part
of
the other object
and
the other object
is an
instance
of
virus
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 1182-1182
The
cell
part of
an object
and
a kind of cell part
is a
proper
part
of
the object
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