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
surface
Sigma KEE - surface
surface
appearance as argument number 1
(
documentation
surface
ChineseLanguage
"(
surface
?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2 的
superficialPart
是以最大的程度联系着。注:有些
SelfConnectedObject
有超过一块表面,例如: 一个像网球中空物体,就有内在和外在的表面。")
chinese_format.kif 2838-2840
(
documentation
surface
EnglishLanguage
"(
surface
?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected
superficialPart
of ?OBJ2. Note that some
SelfConnectedObject
s have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.")
Merge.kif 9680-9683
(
documentation
surface
JapaneseLanguage
"(
surface
?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 の 最大接続
superficialPart
であることを意味する。 注:一部の
SelfConnectedObject
s には複数 の表面がある。例:テニスボールのような中空の物体は、内側と外側の両方の面を持っている。")
japanese_format.kif 1582-1584
(
domain
surface
1
SelfConnectedObject
)
Merge.kif 9677-9677
O argumento numero 1 de
surface
e' uma
instancia
de
Objeto auto-conectado
(
domain
surface
2
SelfConnectedObject
)
Merge.kif 9678-9678
O argumento numero 2 de
surface
e' uma
instancia
de
Objeto auto-conectado
(
instance
surface
AsymmetricRelation
)
Merge.kif 9674-9674
surface
e' uma
instancia
de
Relacao Assimetrica
(
instance
surface
BinaryPredicate
)
Merge.kif 9675-9675
surface
e' uma
instancia
de
Predicado Binario
(
subrelation
surface
superficialPart
)
Merge.kif 9676-9676
surface
e' uma
sub
-relacao de
superficialPart
appearance as argument number 2
(
format
ChineseLanguage
surface
"%1 %n 是 %2 的
surface
")
chinese_format.kif 373-373
(
format
EnglishLanguage
surface
"%1 is %n a
surface
of %2")
english_format.kif 374-374
(
format
FrenchLanguage
surface
"%1 est %n une
surface
de %2")
french_format.kif 215-215
(
format
ItalianLanguage
surface
"%1 è %n una superficie di %2")
relations-it.txt 290-290
(
format
JapaneseLanguage
surface
"%1 は %2 の
surface
では %n")
japanese_format.kif 2021-2021
(
format
PortugueseLanguage
surface
"%1 e' %n uma superficie de %2")
portuguese_format.kif 167-167
(
format
cz
surface
"%1 %p{je} %n{nen�} povrchem %2")
relations-cz.txt 222-222
(
format
de
surface
"%1 ist eine flaeche von %2 %n{nicht}")
relations-de.txt 498-498
(
format
hi
surface
"%1 %2 kii sataha %n hai")
relations-hindi.txt 61-61
(
format
ro
surface
"%1 %n{nu} este o
surface
%t{suprafaþã} a lui %2")
relations-ro.kif 235-235
(
format
sv
surface
"%1 är %n{inte} en yta av %2")
relations-sv.txt 232-232
(
format
tg
surface
"%1 %n ay ang ibabaw ng %2")
relations-tg.txt 482-482
(
termFormat
ChineseLanguage
surface
"表面")
chinese_format.kif 374-374
(
termFormat
ChineseTraditionalLanguage
surface
"表面")
domainEnglishFormat.kif 56286-56286
(
termFormat
EnglishLanguage
surface
"surface")
domainEnglishFormat.kif 56285-56285
antecedent
(<=>
(
and
(
altitude
?AIRCRAFT ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
)
(
instance
?AIRCRAFT
Aircraft
))
(
absoluteHeight
?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1462-1467
A
altitude
de
Aircraft
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
Aircraft
e' uma
instancia
de
Aircraft
absoluteHeight
Aircraft
and
AltitudeMeasure
(=>
(
and
(
attribute
?O
Concave
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Outside
))
ComputingBrands.kif 2693-2704
Concave
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Outside
em relacao a
Objeto auto-conectado
(=>
(
and
(
attribute
?O
Convex
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Inside
))
ComputingBrands.kif 2665-2676
Convex
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Inside
em relacao a
Objeto auto-conectado
(=>
(
and
(
instance
?ATTRIBUTE
ShapeAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17736-17741
Atributo
e' uma
instancia
de
Atributo de Forma
Atributo
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Atributo
e' um
atributo
de
Objeto auto-conectado
(=>
(
and
(
instance
?ATTRIBUTE
TextureAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17764-17769
Atributo
e' uma
instancia
de
TextureAttribute
Atributo
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Atributo
e' um
atributo
de
Objeto auto-conectado
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Objeto
e' uma
instancia
de
Crystal
MonoCrystalline
e' um
atributo
de
Objeto
Objeto auto-conectado
e' uma
instancia
de
Substancia
Solid
e' um
atributo
de
Objeto auto-conectado
PolyCrystalline
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Substancia
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
LNT
Numero Inteiro
and
Objeto
Objeto
LNT e' uma
instancia
de
Colecao
memberCount
Objeto
LNT and
Numero Inteiro
Numero Inteiro
e'
maior
ou igual a 4
Objeto
e'
membro
de
Objeto
LNT
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
encontra
Objeto
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
o argumento
Objeto auto-conectado
S
Entidade
Entidade
e' uma
instancia
de
Substancia
Liquid
e' um
atributo
de
Entidade
Objeto auto-conectado
e'
igual
a
Entidade
Objeto auto-conectado
S e' uma
superficie
de
Entidade
Objeto auto-conectado
encontra
Objeto auto-conectado
S tem a
forca
modal
de
Unlikely
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
surface
?OBJ
PlanetEarth
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
elevation
?OBJ ?QUANTITY))
MilitaryDevices.kif 1488-1496
Processo
e' uma
instancia
de
Medir
Objeto auto-conectado
e' um
patient
de
Processo
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
Medida de Comprimento
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
BarometricAltimeter
elevation
Objeto auto-conectado
and
Medida de Comprimento
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
Objeto auto-conectado
e' uma
instancia
de
Objeto
ConvexRoundShape
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
TwoDimensionalObject
GeometricPoint
GeometricPoint
e' uma &parte de
Objeto auto-conectado
GeometricPoint
e' um
atributo
de
GeometricPoint
GeometricPoint
e' um
ponto
de
Objeto auto-conectado
GeometricPoint
encontra
Objeto auto-conectado
GeometricPoint
encontra
Objeto auto-conectado
OneDimensionalFigure
a
tangente
de
Objeto auto-conectado
e'
OneDimensionalFigure
(=>
(
and
(
instance
?RUNWAY
PavedRunway
)
(
surface
?SURFACE ?RUNWAY))
(
or
(
instance
?SURFACE
Asphalt
)
(
instance
?SURFACE
Concrete
)))
Transportation.kif 1316-1322
Objeto auto-conectado
e' uma
instancia
de
PavedRunway
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Asphalt
Objeto auto-conectado
e' uma
instancia
de
Concrete
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Asphalt
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1324-1329
Objeto auto-conectado
e' uma
instancia
de
Runway
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Asphalt
Objeto auto-conectado
e' uma
instancia
de
PavedRunway
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Concrete
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1331-1336
Objeto auto-conectado
e' uma
instancia
de
Runway
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Concrete
Objeto auto-conectado
e' uma
instancia
de
PavedRunway
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
Objeto auto-conectado
e' uma
instancia
de
Ocean
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
elevation
Objeto auto-conectado
and 0.0
FootLength
(s)
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
Objeto auto-conectado
e' uma
instancia
de
Ocean
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
elevation
Objeto auto-conectado
and 0.0
Meter
(s)
(=>
(
and
(
instance
?place
UndergroundArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?place
(
MeasureFn
?alt1 ?U))
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
)
(
earthAltitude
?area
(
MeasureFn
?alt2 ?U)))
(
greaterThan
?alt2 ?alt1))
Geography.kif 3999-4010
Objeto
e' uma
instancia
de
UndergroundArea
Unidade de Medida
e' uma
instancia
de
UnitOfLength
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
surface
?OBJ1 ?OBJ2)
(
forall
(?OBJ3)
(=>
(
superficialPart
?OBJ3 ?OBJ2)
(
part
?OBJ3 ?OBJ1))))
Merge.kif 9685-9690
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
Objeto
e' uma parte
superficial
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
consequent
(<=>
(
earthAltitude
?OBJ ?ALT)
(
exists
(?SEA)
(
and
(
altitude
?OBJ ?SEA ?ALT)
(
surface
?SEA
PlanetEarth
))))
Geography.kif 2781-2786
earthAltitude
Objeto
and
Medida de Comprimento
Objeto auto-conectado
a
altitude
de
Objeto
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
o argumento
Objeto auto-conectado
S
Entidade
Entidade
e' uma
instancia
de
Substancia
Liquid
e' um
atributo
de
Entidade
Objeto auto-conectado
e'
igual
a
Entidade
Objeto auto-conectado
S e' uma
superficie
de
Entidade
Objeto auto-conectado
encontra
Objeto auto-conectado
S tem a
forca
modal
de
Unlikely
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ABSOLUTEMETER)
(
instance
?ABSOLUTEMETER
AbsoluteAltimeter
))
(
exists
(?OBJ2)
(
and
(
altitude
?OBJ ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
))))
MilitaryDevices.kif 1441-1451
Processo
e' uma
instancia
de
Medir
Fisico
e' um
patient
de
Processo
Medida de Comprimento
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
AbsoluteAltimeter
Fisico
2 a
altitude
de
Fisico
e'
Fisico
2
Fisico
2 e' uma
superficie
de
PlanetEarth
(=>
(
and
(
instance
?PAINT
Painting
)
(
patient
?PAINT ?SURFACE)
(
resource
?PAINT ?STUFF))
(
exists
(?OBJ)
(
and
(
surface
?SURFACE ?OBJ)
(
instance
?STUFF
Paint
))))
Mid-level-ontology.kif 3188-3196
Processo
e' uma
instancia
de
Painting
Objeto auto-conectado
e' um
patient
de
Processo
Objeto
e' um
recurso
para
Processo
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma
instancia
de
Paint
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
Proposicao
e' uma
instancia
de
Argument
Processo
e' uma
instancia
de
Raciocinar
Proposicao
e' uma
instancia
de
Archeology
Proposicao
e' uma &sub-proposicao de
Proposicao
Processo
exprime
o conteudo de
Proposicao
Processo
Entidade
,
Fisico
,
Numero Real
,
Entidade
and
Entidade
Processo
e' uma
instancia
de
Discovering
Fisico
e' uma
instancia
de
Objeto
Fisico
e' um
patient
de
Processo
Processo
inclui uma
referencia
a
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
que 50
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
BodyOfWater
Fisico
e'
Below
em relacao a
Entidade
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
Area terrestre
Fisico
e'
Below
em relacao a
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
(=>
(
instance
?B
Bubble
)
(
exists
(?S)
(
and
(
surface
?S ?B)
(
attribute
?S
Liquid
))))
Mid-level-ontology.kif 5003-5008
Objeto auto-conectado
e' uma
instancia
de
Bubble
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Liquid
e' um
atributo
de
Objeto auto-conectado
(=>
(
instance
?DETERGENT
Detergent
)
(
hasPurpose
?DETERGENT
(
exists
(?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?SUBSTANCE
Substance
)
(
patient
?REMOVE ?SUBSTANCE)
(
origin
?REMOVE ?SURFACE)
(
surface
?SURFACE ?OBJECT)))))
Mid-level-ontology.kif 8848-8857
Fisico
e' uma
instancia
de
Detergent
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Remover
Entidade
e' uma
instancia
de
Substancia
Entidade
e' um
patient
de
Entidade
Entidade
tem como
origem
Entidade
Entidade
e' uma
superficie
de
Entidade
(=>
(
instance
?L
Lesion
)
(
exists
(?S ?O)
(
and
(
surface
?S ?O)
(
instance
?O
Organ
)
(
located
?L ?S))))
Mid-level-ontology.kif 9396-9402
Fisico
e' uma
instancia
de
Lesion
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Orgao
Fisico
e'
situado
em
Objeto auto-conectado
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
surface
?OBJ1 ?OBJ2)
(
instance
?OBJ2
ViralCore
))))
VirusProteinAndCellPart.kif 1205-1210
Objeto auto-conectado
e' uma
instancia
de
VirusCoreEnvelope
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
ViralCore
(=>
(
instance
?P
PeelOrRind
)
(
exists
(?X)
(
and
(
part
?P ?X)
(
instance
?X
FruitOrVegetable
)
(
surface
?P ?X))))
Food.kif 2302-2308
Objeto auto-conectado
e' uma
instancia
de
PeelOrRind
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Fruta ou Vegetal
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
(=>
(
instance
?PD
PaintingDevice
)
(
hasPurpose
?PD
(
exists
(?STUFF ?COVER ?SURF ?OBJ)
(
and
(
instance
?STUFF
Substance
)
(
instance
?COVER
Covering
)
(
instance
?OBJ
Object
)
(
surface
?SURF ?OBJ)
(
agent
?COVER ?PD)
(
instrument
?COVER ?STUFF)
(
patient
?COVER ?SURF)))))
Mid-level-ontology.kif 3262-3273
Fisico
e' uma
instancia
de
PaintingDevice
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Substancia
Entidade
e' uma
instancia
de
Cobrir
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
superficie
de
Entidade
Entidade
e' um
agente
de
Fisico
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 10991-10998
Objeto
e' uma
instancia
de
Skin
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Animal
Objeto
engloba
Objeto auto-conectado
(=>
(
instance
?W
CellWall
)
(
exists
(?CELL ?SURF)
(
and
(
instance
?CELL
Cell
)
(
part
?W ?CELL)
(
surface
?SURF ?CELL)
(
part
?SURF ?W))))
VirusProteinAndCellPart.kif 473-480
Objeto
e' uma
instancia
de
CellWall
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Celula
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de
Objeto
(=>
(
instance
?X
LandVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?SURF))))))
Mid-level-ontology.kif 3472-3481
Fisico
e' uma
instancia
de
LandVehicle
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
superficie
de
Area Geografica
Entidade
e' uma
instancia
de
Transporte
Fisico
encontra
Entidade
vale
durante
tempo
de existencia de
Entidade
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
Objeto
e' uma
instancia
de
SubwaySystem
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Area Geografica
Objeto
e'
Below
em relacao a
Objeto auto-conectado
(=>
(
instance
?place
UndergroundArea
)
(
exists
(?area ?ground)
(
and
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
))))
Geography.kif 3991-3997
Objeto
e' uma
instancia
de
UndergroundArea
Objeto
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
Below
em relacao a
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