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
e' uma
instancia
de
Relacao Assimetrica
(
instance
properPart
TransitiveRelation
)
Merge.kif 927-927
properPart
e' uma
instancia
de
Relacao Transitiva
(
subrelation
properPart
part
)
Merge.kif 928-928
properPart
e' uma
sub
-relacao de
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 16105-16105
engineeringSubcomponent
e' uma
sub
-relacao de
properPart
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14067-14067
geographicSubregion
e' uma
sub
-relacao de
properPart
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1255-1255
physicalEnd
e' uma
sub
-relacao de
properPart
(
subrelation
streamOutfall
properPart
)
Geography.kif 5685-5685
streamOutfall
e' uma
sub
-relacao de
properPart
(
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
Objeto
completa
Buraco
Buraco
e' uma &parte de
Buraco
Objeto
completa
completemente
Buraco
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
properPart
?OBJ2 ?OBJ1))
(
properlyFills
?OBJ2 ?HOLE))
Merge.kif 10080-10084
Objeto
completa
Buraco
Objeto
e' uma &parte de
Objeto
Objeto
rempliecompleta
corretamente
Buraco
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
GUIElement
e' uma
instancia
de
GUIElement
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
e' uma &parte de
GUIElement
GUIElement
e' uma
instancia
de
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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_CoveredState
hasGUEState
Entidade
_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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_NonVisibleState
hasGUEState
Entidade
_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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_OffscreenState
hasGUEState
Entidade
_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
Entidade
_SM e' uma
instancia
de
GUIElement
Entidade
_BIG e' uma
instancia
de
GUIElement
Entidade
_SM e' uma &parte de
Entidade
_BIG
hasGUEState
Entidade
_BIG and
GUE_PassiveState
hasGUEState
Entidade
_SM and
GUE_PassiveState
(=>
(
and
(
instance
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9961-9969
Objeto
e' uma
instancia
de
Buraco
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
(=>
(
and
(
instance
?UNCOVER
UncoveringGraphicalWindow
)
(
patient
?UNCOVER ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
properPart
?CURSOR ?WINDOW)
(
instance
?CURSOR
Cursor
))
(
guiElementUncovered
?UNCOVER ?WINDOW))
ComputerInput.kif 2423-2430
UncoveringGraphicalWindow
e' uma
instancia
de
UncoveringGraphicalWindow
GUIElement
e' um
patient
de
UncoveringGraphicalWindow
GUIElement
e' uma
instancia
de
InterfaceWindow
Objeto
e' uma &parte de
GUIElement
Objeto
e' uma
instancia
de
Cursor
guiElementUncovered
UncoveringGraphicalWindow
and
GUIElement
(=>
(
properPart
?OBJ1 ?OBJ2)
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1))))
Merge.kif 935-940
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9907-9914
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de a
intersecao
das partes de
Objeto auto-conectado
e
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
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
e' uma
instancia
de
GUIElement
GUIElement
e' uma
instancia
de
GUIElement
GUIElement
e' uma
instancia
de
InterfaceWindow
GUIElement
e' uma
instancia
de
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
e' uma &parte de
GUIElement
GUIElement
e' uma &parte de
GUIElement
GUIElement
e'
igual
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 18563-18576
Processo
e' uma
instancia
de
Sharing
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Objeto
e' um
patient
de
Processo
Processo
Objeto
Processo
e' uma
instancia
de
Dar
Processo
e' um
sub
-processo de
Processo
Objeto
e' um
patient
de
Processo
Objeto
e' uma &parte de
Objeto
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
(=>
(
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
e' uma
instancia
de
InterfaceWindow
GUIElement
e' uma
instancia
de
GUIElement
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
e' uma
instancia
de
InterfaceWindow
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
e' uma &parte de
GUIElement
(=>
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1)))
(
properPart
?OBJ1 ?OBJ2))
Merge.kif 942-947
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
elevation
Objeto
and
Medida de Comprimento
Objeto
Objeto
e' uma &parte de
SeaLevel
Objeto
e'
Vertical
em relacao a
Objeto
a
distancia
entre
Objeto
e
Objeto
e'
Medida de Comprimento
(=>
(
equal
?OBJ3
(
MereologicalDifferenceFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
properPart
?PART ?OBJ3)
(
and
(
properPart
?PART ?OBJ1)
(
not
(
properPart
?PART ?OBJ2))))))
Merge.kif 9859-9868
Objeto
e'
igual
a a
diferenca
entre as partes de
Objeto
e
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
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
Fisico
e' uma
instancia
de
BulletCartridge
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Bullet
Entidade
e' uma
instancia
de
CartridgeCase
Entidade
e' uma &parte de
Fisico
Entidade
e' uma &parte de
Fisico
(=>
(
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
e' uma
instancia
de
CartridgeCase
Objeto
Objeto
and
Processo
Objeto
e' uma
instancia
de
BulletCartridge
Objeto
e' uma
instancia
de
Bullet
Processo
e' uma
instancia
de
Manter
AutonomousAgent
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
(=>
(
instance
?COMPARTMENT
ShipCabin
)
(
exists
(?SHIP)
(
and
(
instance
?COMPARTMENT
ShipCabin
)
(
properPart
?COMPARTMENT ?SHIP))))
Transportation.kif 2563-2568
Objeto
e' uma
instancia
de
ShipCabin
Objeto
Objeto
e' uma
instancia
de
ShipCabin
Objeto
e' uma &parte de
Objeto
(=>
(
instance
?GULF
Gulf
)
(
exists
(?WATER)
(
and
(
instance
?WATER
SaltWaterArea
)
(
properPart
?GULF ?WATER))))
Geography.kif 5138-5143
Objeto
e' uma
instancia
de
Gulf
Objeto
Objeto
e' uma
instancia
de
Area Aquatica salgada
Objeto
e' uma &parte de
Objeto
(=>
(
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
Processo
e' uma
instancia
de
Hanging
Objeto
Objeto
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
String
Objeto
e' uma
instancia
de
Neck
AutonomousAgent
experimenta
Processo
Objeto
e' uma &parte de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Objeto
encontra
Objeto
vale
durante
tempo
de existencia de
Processo
(=>
(
instance
?HOLE1
HoleRegion
)
(
exists
(?HOLE2)
(
properPart
?HOLE2 ?HOLE1)))
Merge.kif 9940-9943
Objeto
e' uma
instancia
de
Buraco
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
instance
?HOTEL
HotelBuilding
)
(
exists
(?ROOM)
(
and
(
instance
?ROOM
HotelRoom
)
(
properPart
?ROOM ?HOTEL))))
Hotel.kif 82-87
Objeto
e' uma
instancia
de
HotelBuilding
Objeto
Objeto
e' uma
instancia
de
HotelRoom
Objeto
e' uma &parte de
Objeto
(=>
(
instance
?OBJ1
CellEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Lipoprotein
))))
VirusProteinAndCellPart.kif 1089-1094
Objeto
e' uma
instancia
de
CellEnvelope
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Lipoprotein
(=>
(
instance
?OBJ1
CellPart
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
properPart
?OBJ1 ?CELL))))
Mid-level-ontology.kif 10881-10886
Objeto
e' uma
instancia
de
CellPart
Objeto
Objeto
e' uma
instancia
de
Celula
Objeto
e' uma &parte de
Objeto
(=>
(
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
Objeto
e' uma
instancia
de
EnvelopedVirus
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
ViralCore
Objeto
Objeto
e' uma
instancia
de
ViralCore
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
instance
?OBJ1
LipidBilayer
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
LipidMembraneMolecule
))))
VirusProteinAndCellPart.kif 570-575
Objeto
e' uma
instancia
de
LipidBilayer
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
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
Objeto
e' uma
instancia
de
PlasmaMembrane
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LipidBilayer
Objeto
Objeto
e' uma
instancia
de
LipidBilayer
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
instance
?OBJ1
PlasmaMembrane
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Protein
))))
VirusProteinAndCellPart.kif 356-361
Objeto
e' uma
instancia
de
PlasmaMembrane
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Proteina
(=>
(
instance
?OBJ1
Virus
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
VirusPart
))))
VirusProteinAndCellPart.kif 1144-1149
Objeto
e' uma
instancia
de
Virus
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
VirusPart
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Palisade
))))
VirusProteinAndCellPart.kif 1125-1130
Objeto
e' uma
instancia
de
VirusCoreEnvelope
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Palisade
(=>
(
instance
?OBJ1
VirusPart
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ1 ?OBJ2)
(
instance
?OBJ2
Virus
))))
VirusProteinAndCellPart.kif 1137-1142
Objeto
e' uma
instancia
de
VirusPart
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Virus
(=>
(
instance
?OCEAN
Ocean
)
(
properPart
?OCEAN
WorldOcean
))
Geography.kif 4530-4532
Objeto
e' uma
instancia
de
Ocean
Objeto
e' uma &parte de
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 3490-3517
Fisico
e' uma
instancia
de
ProtectiveEyewear
Fisico
tem por
fim
Fisico
RSON
Fisico
RSON e' uma
instancia
de
Humano
Fisico
RSON
usa
Fisico
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
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
CellPartFn
Objeto
and
CellPart
e' uma &parte de
Objeto
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