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
korrektesTeil
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
properPart
TransitiveRelation
)
Merge.kif 927-927
korrektesTeil
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
subrelation
properPart
part
)
Merge.kif 928-928
korrektesTeil
ist eine
teilrelation
von
teil
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
ist eine
teilrelation
von
korrektesTeil
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14045-14045
geographicSubregion
ist eine
teilrelation
von
korrektesTeil
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1255-1255
physicalEnd
ist eine
teilrelation
von
korrektesTeil
(
subrelation
streamOutfall
properPart
)
Geography.kif 5685-5685
streamOutfall
ist eine
teilrelation
von
korrektesTeil
(
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
Wenn
Object
fuellt
HoleRegion
%n{nicht} und
** HoleRegion
ist ein
korrektes
teil von
** HoleRegion
%n{nicht},
dann
** Object
fuellt
** ** HoleRegion
vollstaendig
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
properPart
?OBJ2 ?OBJ1))
(
properlyFills
?OBJ2 ?HOLE))
Merge.kif 10058-10062
Wenn
Object
fuellt
HoleRegion
%n{nicht} und
** Object
ist ein
korrektes
teil von
** Object
%n{nicht},
dann
** ** Object
fuellt
** HoleRegion
richtig
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
Wenn
GUIElement
ist ein
fall
von
GUIElement
%n{nicht} und
hasGUEState
** GUIElement
and
GUE_ActiveState
und
** GUIElement
ist ein
korrektes
teil von
** GUIElement
%n{nicht} und
** ** GUIElement
ist ein
fall
von
GUIElement
%n{nicht},
dann
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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_CoveredState
,
dann
hasGUEState
** entity
_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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_NonVisibleState
,
dann
hasGUEState
** entity
_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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_OffscreenState
,
dann
hasGUEState
** entity
_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
Wenn
entity
_SM ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_BIG ist ein
fall
von
GUIElement
%n{nicht} und
** entity
_SM ist ein
korrektes
teil von
** entity
_BIG %n{nicht} und
hasGUEState
** entity
_BIG and
GUE_PassiveState
,
dann
hasGUEState
** entity
_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
Wenn
Object
ist ein
fall
von
HoleRegion
%n{nicht} und
** Object
ist ein
korrektes
teil von
** Object
%n{nicht},
dann es gibt
** Object
um
** Object
schliesst
** ** Object
raeumlich an und
** ** Object
schliesst
** ** Object
raeumlich nicht an
(=>
(
and
(
instance
?UNCOVER
UncoveringGraphicalWindow
)
(
patient
?UNCOVER ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
properPart
?CURSOR ?WINDOW)
(
instance
?CURSOR
Cursor
))
(
guiElementUncovered
?UNCOVER ?WINDOW))
ComputerInput.kif 2423-2430
Wenn
UncoveringGraphicalWindow
ist ein
fall
von
UncoveringGraphicalWindow
%n{nicht} und
GUIElement
ist ein
patient
von
** UncoveringGraphicalWindow
%n{nicht} und
** GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht} und
Object
ist ein
korrektes
teil von
** GUIElement
%n{nicht} und
** Object
ist ein
fall
von
Cursor
%n{nicht},
dann
guiElementUncovered
** UncoveringGraphicalWindow
and
** GUIElement
(=>
(
properPart
?OBJ1 ?OBJ2)
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1))))
Merge.kif 935-940
Wenn
Object
ist ein
korrektes
teil von
** Object
%n{nicht},
dann
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
nicht
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9885-9892
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht},
dann es gibt
** SelfConnectedObject
um
** ** SelfConnectedObject
ist ein
korrektes
teil von der
durchschnitt
von den teilen von
** SelfConnectedObject
und
** ** SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** ** SelfConnectedObject
%n{nicht}
(=>
(
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
Wenn
GUIElement
ist ein
fall
von
GUIElement
%n{nicht} und
** GUIElement
ist ein
fall
von
GUIElement
%n{nicht} und
** GUIElement
ist ein
fall
von
InterfaceWindow
nicht und
** ** GUIElement
ist ein
fall
von
InterfaceWindow
nicht und
screenOfGUIE
** GUIElement
and
ComputerScreen
und
screenOfGUIE
** ** GUIElement
and
** ComputerScreen
und
hasGUEState
** GUIElement
and
GUE_ActiveState
und
hasGUEState
** ** GUIElement
and
GUE_ActiveState
,
dann
** GUIElement
ist ein
korrektes
teil von
** ** GUIElement
%n{nicht} oder
** ** GUIElement
ist ein
korrektes
teil von
** GUIElement
%n{nicht} oder
** GUIElement
ist gleich
** ** GUIElement
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Sharing
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
endet an
Entity
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Process
und
** Object
um
** ** Process
ist ein
fall
von
Giving
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
endet an
** Entity
%n{nicht}
(=>
(
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
Wenn
GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht} und
** GUIElement
ist ein
fall
von
GUIElement
%n{nicht} und
screenOfGUIE
** GUIElement
and
ComputerScreen
und
screenOfGUIE
** ** GUIElement
and
** ComputerScreen
und
** ** GUIElement
ist ein
fall
von
InterfaceWindow
nicht und
hasGUEState
** GUIElement
and
GUE_ActiveState
und
hasGUEState
** ** GUIElement
and
GUE_ActiveState
,
dann
** ** GUIElement
ist ein
korrektes
teil von
** GUIElement
%n{nicht}
(=>
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1)))
(
properPart
?OBJ1 ?OBJ2))
Merge.kif 942-947
Wenn
Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
nicht,
dann
** Object
ist ein
korrektes
teil von
** ** Object
%n{nicht}
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
Wenn
elevation
Object
and
LengthMeasure
,
dann es gibt
** Object
um
** ** Object
ist ein
korrektes
teil von
SeaLevel
%n{nicht} und
** Object
ist
Vertical
hinsichlich
** ** Object
%n{nicht} und der
abstand
zwischen
** Object
und
** ** Object
ist
** LengthMeasure
(=>
(
equal
?OBJ3
(
MereologicalDifferenceFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
properPart
?PART ?OBJ3)
(
and
(
properPart
?PART ?OBJ1)
(
not
(
properPart
?PART ?OBJ2))))))
Merge.kif 9837-9846
Wenn
Object
ist gleich die
differenz
zwischen den Teilen von
** Object
und
** Object
%n{nicht},
dann fuer alle
** Object
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} genau dann wenn
** ** Object
ist ein
korrektes
teil von
** ** Object
%n{nicht} und
** ** Object
ist ein
korrektes
teil von
** ** Object
nicht
(=>
(
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
Wenn
Physical
ist ein
fall
von
BulletCartridge
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Bullet
%n{nicht} und
** ** entity
ist ein
fall
von
CartridgeCase
%n{nicht} und
** entity
ist ein
korrektes
teil von
** Physical
%n{nicht} und
** ** entity
ist ein
korrektes
teil von
** Physical
%n{nicht} %n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
CartridgeCase
%n{nicht},
dann es gibt
Object
,
** Object
, and und
Process
um
** Object
ist ein
fall
von
BulletCartridge
%n{nicht} und
** ** Object
ist ein
fall
von
Bullet
%n{nicht} und
** Process
ist ein
fall
von
Keeping
%n{nicht} und
** AutonomousAgent
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht}
(=>
(
instance
?COMPARTMENT
ShipCabin
)
(
exists
(?SHIP)
(
and
(
instance
?COMPARTMENT
ShipCabin
)
(
properPart
?COMPARTMENT ?SHIP))))
Transportation.kif 2563-2568
Wenn
Object
ist ein
fall
von
ShipCabin
%n{nicht},
dann es gibt
** Object
um
** Object
ist ein
fall
von
ShipCabin
%n{nicht} und
** Object
ist ein
korrektes
teil von
** ** Object
%n{nicht}
(=>
(
instance
?GULF
Gulf
)
(
exists
(?WATER)
(
and
(
instance
?WATER
SaltWaterArea
)
(
properPart
?GULF ?WATER))))
Geography.kif 5138-5143
Wenn
Object
ist ein
fall
von
Gulf
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
SaltWaterArea
%n{nicht} und
** Object
ist ein
korrektes
teil von
** ** Object
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Hanging
%n{nicht},
dann es gibt
Object
,
** Object
, and und
AutonomousAgent
um
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** Object
ist ein
fall
von
String
%n{nicht} und
** ** Object
ist ein
fall
von
Neck
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** ** Object
ist ein
korrektes
teil von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
schliesst
** ** Object
raeumlich an haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
instance
?HOLE1
HoleRegion
)
(
exists
(?HOLE2)
(
properPart
?HOLE2 ?HOLE1)))
Merge.kif 9918-9921
Wenn
Object
ist ein
fall
von
HoleRegion
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht}
(=>
(
instance
?HOTEL
HotelBuilding
)
(
exists
(?ROOM)
(
and
(
instance
?ROOM
HotelRoom
)
(
properPart
?ROOM ?HOTEL))))
Hotel.kif 82-87
Wenn
Object
ist ein
fall
von
HotelBuilding
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
HotelRoom
%n{nicht} und
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht}
(=>
(
instance
?OBJ1
CellEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Lipoprotein
))))
VirusProteinAndCellPart.kif 1090-1095
Wenn
Object
ist ein
fall
von
CellEnvelope
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Lipoprotein
%n{nicht}
(=>
(
instance
?OBJ1
CellPart
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
properPart
?OBJ1 ?CELL))))
Mid-level-ontology.kif 10882-10887
Wenn
Object
ist ein
fall
von
CellPart
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Cell
%n{nicht} und
** Object
ist ein
korrektes
teil von
** ** Object
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
EnvelopedVirus
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
ViralCore
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ViralCore
%n{nicht} und
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht
(=>
(
instance
?OBJ1
LipidBilayer
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
LipidMembraneMolecule
))))
VirusProteinAndCellPart.kif 571-576
Wenn
Object
ist ein
fall
von
LipidBilayer
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
LipidMembraneMolecule
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
PlasmaMembrane
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
LipidBilayer
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
LipidBilayer
%n{nicht} und
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht
(=>
(
instance
?OBJ1
PlasmaMembrane
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Protein
))))
VirusProteinAndCellPart.kif 356-361
Wenn
Object
ist ein
fall
von
PlasmaMembrane
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Protein
%n{nicht}
(=>
(
instance
?OBJ1
Virus
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
VirusPart
))))
VirusProteinAndCellPart.kif 1145-1150
Wenn
Object
ist ein
fall
von
Virus
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
VirusPart
%n{nicht}
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Palisade
))))
VirusProteinAndCellPart.kif 1126-1131
Wenn
Object
ist ein
fall
von
VirusCoreEnvelope
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Palisade
%n{nicht}
(=>
(
instance
?OBJ1
VirusPart
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ1 ?OBJ2)
(
instance
?OBJ2
Virus
))))
VirusProteinAndCellPart.kif 1138-1143
Wenn
Object
ist ein
fall
von
VirusPart
%n{nicht},
dann es gibt
** Object
um
** Object
ist ein
korrektes
teil von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Virus
%n{nicht}
(=>
(
instance
?OCEAN
Ocean
)
(
properPart
?OCEAN
WorldOcean
))
Geography.kif 4530-4532
Wenn
Object
ist ein
fall
von
Ocean
%n{nicht},
dann
** Object
ist ein
korrektes
teil von
WorldOcean
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
ProtectiveEyewear
%n{nicht},
dann
** Physical
hat Zweck von
wenn es gibt
** Physical
RSON um
** Physical
RSON ist ein
fall
von
Human
%n{nicht} und
wears
** Physical
RSON and
** Physical
,
dann es gibt
** entity
,
** entity
,, ,
** entity
,, ,
** entity
, and und
** entity
um
** ** entity
ist ein
fall
von
Process
%n{nicht} und
** Physical
ist ein
instrument
fuer
** ** entity
%n{nicht} und
** ** entity
ist eine
teilkategorie
von die
kategorie
die
** ** entity
beschreibt und
** ** entity
verhindert
das Auftreten von
** ** entity
%n{nicht}
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
Object
and
** CellPart
ist ein
korrektes
teil von
** Object
%n{nicht}
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