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
Squall
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
è un'
istanza
di
RelazioneAsimmetrica
(
instance
properPart
TransitiveRelation
)
Merge.kif 927-927
properPart
è un'
istanza
di
RelazioneTransitiva
(
subrelation
properPart
part
)
Merge.kif 928-928
properPart
è una
sottorelazione
di
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 16155-16155
engineeringSubcomponent
è una
sottorelazione
di
properPart
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14091-14091
geographicSubregion
è una
sottorelazione
di
properPart
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1248-1248
physicalEnd
è una
sottorelazione
di
properPart
(
subrelation
streamOutfall
properPart
)
Geography.kif 5685-5685
streamOutfall
è una
sottorelazione
di
properPart
(
termFormat
ChineseLanguage
properPart
"真正的部分")
chinese_format.kif 176-176
(
termFormat
ChineseLanguage
properPart
"适当的部分")
domainEnglishFormat.kif 47800-47800
(
termFormat
ChineseTraditionalLanguage
properPart
"適當的部分")
domainEnglishFormat.kif 47799-47799
(
termFormat
EnglishLanguage
properPart
"proper part")
domainEnglishFormat.kif 47798-47798
(
termFormat
de
properPart
"korrektesTeil")
terms-de.txt 69-69
antecedent
(=>
(
and
(
fills
?OBJ ?HOLE1)
(
properPart
?HOLE2 ?HOLE1))
(
completelyFills
?OBJ ?HOLE2))
Merge.kif 10088-10092
Oggetto
riempie
s
apertura
apertura
è una
Parte
propria di
apertura
Oggetto
riempie
completamentes
apertura
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
properPart
?OBJ2 ?OBJ1))
(
properlyFills
?OBJ2 ?HOLE))
Merge.kif 10094-10098
Oggetto
riempie
s
apertura
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
riempie
propriamentes
apertura
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
GUIElement
è un'
istanza
di
GUIElement
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
è una
Parte
propria di
GUIElement
GUIElement
è un'
istanza
di
GUIElement
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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_CoveredState
hasGUEState
Entit�
_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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_NonVisibleState
hasGUEState
Entit�
_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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_OffscreenState
hasGUEState
Entit�
_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
Entit�
_SM è un'
istanza
di
GUIElement
Entit�
_BIG è un'
istanza
di
GUIElement
Entit�
_SM è una
Parte
propria di
Entit�
_BIG
hasGUEState
Entit�
_BIG and
GUE_PassiveState
hasGUEState
Entit�
_SM and
GUE_PassiveState
(=>
(
and
(
instance
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9975-9983
Oggetto
è un'
istanza
di
apertura
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
non
incontra
Oggetto
(=>
(
and
(
instance
?UNCOVER
UncoveringGraphicalWindow
)
(
patient
?UNCOVER ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
properPart
?CURSOR ?WINDOW)
(
instance
?CURSOR
Cursor
))
(
guiElementUncovered
?UNCOVER ?WINDOW))
ComputerInput.kif 2423-2430
UncoveringGraphicalWindow
è un'
istanza
di
UncoveringGraphicalWindow
GUIElement
è un
paziente
di
UncoveringGraphicalWindow
GUIElement
è un'
istanza
di
InterfaceWindow
Oggetto
è una
Parte
propria di
GUIElement
Oggetto
è un'
istanza
di
Cursor
guiElementUncovered
UncoveringGraphicalWindow
and
GUIElement
(=>
(
properPart
?OBJ1 ?OBJ2)
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1))))
Merge.kif 935-940
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9921-9928
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
OggettoIntegro
OggettoIntegro
è una
Parte
propria di l'
intersezione
delle parti di
OggettoIntegro
e
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
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
è un'
istanza
di
GUIElement
GUIElement
è un'
istanza
di
GUIElement
GUIElement
è un'
istanza
di
InterfaceWindow
GUIElement
è un'
istanza
di
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
è una
Parte
propria di
GUIElement
GUIElement
è una
Parte
propria di
GUIElement
GUIElement
is
uguale
a
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 18591-18604
Processo
è un'
istanza
di
Sharing
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Oggetto
è un
paziente
di
Processo
Processo
Oggetto
Processo
è un'
istanza
di
Dare
Processo
è un
sottoprocesso
di
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
è una
Parte
propria di
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
(=>
(
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
è un'
istanza
di
InterfaceWindow
GUIElement
è un'
istanza
di
GUIElement
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
è un'
istanza
di
InterfaceWindow
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
è una
Parte
propria di
GUIElement
(=>
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1)))
(
properPart
?OBJ1 ?OBJ2))
Merge.kif 942-947
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
elevation
Oggetto
and
MisuraDiLunghezza
Oggetto
Oggetto
è una
Parte
propria di
SeaLevel
Oggetto
è
Vertical
a
Oggetto
la
distanza
tra
Oggetto
e
Oggetto
è
MisuraDiLunghezza
(=>
(
equal
?OBJ3
(
MereologicalDifferenceFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
properPart
?PART ?OBJ3)
(
and
(
properPart
?PART ?OBJ1)
(
not
(
properPart
?PART ?OBJ2))))))
Merge.kif 9873-9882
Oggetto
is
uguale
a la
differenza
tra le parti di
Oggetto
e
Oggetto
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
(=>
(
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 1192-1200
Entit�Concreta
è un'
istanza
di
BulletCartridge
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Bullet
Entit�
è un'
istanza
di
CartridgeCase
Entit�
è una
Parte
propria di
Entit�Concreta
Entit�
è una
Parte
propria di
Entit�Concreta
(=>
(
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 1205-1215
AutonomousAgent
è un'
istanza
di
CartridgeCase
Oggetto
Oggetto
and
Processo
Oggetto
è un'
istanza
di
BulletCartridge
Oggetto
è un'
istanza
di
Bullet
Processo
è un'
istanza
di
Trattenere
AutonomousAgent
è una
Parte
propria di
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
(=>
(
instance
?COMPARTMENT
ShipCabin
)
(
exists
(?SHIP)
(
and
(
instance
?COMPARTMENT
ShipCabin
)
(
properPart
?COMPARTMENT ?SHIP))))
Transportation.kif 2585-2590
Oggetto
è un'
istanza
di
ShipCabin
Oggetto
Oggetto
è un'
istanza
di
ShipCabin
Oggetto
è una
Parte
propria di
Oggetto
(=>
(
instance
?GULF
Gulf
)
(
exists
(?WATER)
(
and
(
instance
?WATER
SaltWaterArea
)
(
properPart
?GULF ?WATER))))
Geography.kif 5138-5143
Oggetto
è un'
istanza
di
Gulf
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquaticaSalata
Oggetto
è una
Parte
propria di
Oggetto
(=>
(
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 18504-18515
Processo
è un'
istanza
di
Hanging
Oggetto
Oggetto
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
String
Oggetto
è un'
istanza
di
Neck
AutonomousAgent
esperisce
s
Processo
Oggetto
è una
Parte
propria di
AutonomousAgent
Oggetto
è uno
strumento
per
Processo
Oggetto
incontra
s
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
instance
?HOLE1
HoleRegion
)
(
exists
(?HOLE2)
(
properPart
?HOLE2 ?HOLE1)))
Merge.kif 9954-9957
Oggetto
è un'
istanza
di
apertura
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
(=>
(
instance
?HOTEL
HotelBuilding
)
(
exists
(?ROOM)
(
and
(
instance
?ROOM
HotelRoom
)
(
properPart
?ROOM ?HOTEL))))
Hotel.kif 82-87
Oggetto
è un'
istanza
di
HotelBuilding
Oggetto
Oggetto
è un'
istanza
di
HotelRoom
Oggetto
è una
Parte
propria di
Oggetto
(=>
(
instance
?OBJ1
CellEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Lipoprotein
))))
VirusProteinAndCellPart.kif 1091-1096
Oggetto
è un'
istanza
di
CellEnvelope
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è un'
istanza
di
Lipoprotein
(=>
(
instance
?OBJ1
CellPart
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
properPart
?OBJ1 ?CELL))))
Mid-level-ontology.kif 10909-10914
Oggetto
è un'
istanza
di
CellPart
Oggetto
Oggetto
è un'
istanza
di
Cellula
Oggetto
è una
Parte
propria di
Oggetto
(=>
(
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 1186-1197
Oggetto
è un'
istanza
di
EnvelopedVirus
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è un'
istanza
di
ViralCore
Oggetto
Oggetto
è un'
istanza
di
ViralCore
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
instance
?OBJ1
LipidBilayer
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
LipidMembraneMolecule
))))
VirusProteinAndCellPart.kif 570-575
Oggetto
è un'
istanza
di
LipidBilayer
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è un'
istanza
di
LipidMembraneMolecule
(=>
(
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
Oggetto
è un'
istanza
di
PlasmaMembrane
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è un'
istanza
di
LipidBilayer
Oggetto
Oggetto
è un'
istanza
di
LipidBilayer
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
instance
?OBJ1
PlasmaMembrane
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Protein
))))
VirusProteinAndCellPart.kif 356-361
Oggetto
è un'
istanza
di
PlasmaMembrane
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è un'
istanza
di
Proteina
(=>
(
instance
?OBJ1
Virus
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
VirusPart
))))
VirusProteinAndCellPart.kif 1146-1151
Oggetto
è un'
istanza
di
Virus
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è un'
istanza
di
VirusPart
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Palisade
))))
VirusProteinAndCellPart.kif 1127-1132
Oggetto
è un'
istanza
di
VirusCoreEnvelope
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è un'
istanza
di
Palisade
(=>
(
instance
?OBJ1
VirusPart
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ1 ?OBJ2)
(
instance
?OBJ2
Virus
))))
VirusProteinAndCellPart.kif 1139-1144
Oggetto
è un'
istanza
di
VirusPart
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è un'
istanza
di
Virus
(=>
(
instance
?OCEAN
Ocean
)
(
properPart
?OCEAN
WorldOcean
))
Geography.kif 4530-4532
Oggetto
è un'
istanza
di
Ocean
Oggetto
è una
Parte
propria di
WorldOcean
(=>
(
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 3467-3494
Entit�Concreta
è un'
istanza
di
ProtectiveEyewear
Entit�Concreta
ha
scopo
Entit�Concreta
RSON
Entit�Concreta
RSON è un'
istanza
di
Umano
wears
Entit�Concreta
RSON and
Entit�Concreta
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
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 1175-1175
CellPartFn
Oggetto
and
CellPart
è una
Parte
propria di
Oggetto
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