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
Il numero 1 argomenti di
surface
è un
istanza
di
OggettoIntegro
(
domain
surface
2
SelfConnectedObject
)
Merge.kif 9678-9678
Il numero 2 argomenti di
surface
è un
istanza
di
OggettoIntegro
(
instance
surface
AsymmetricRelation
)
Merge.kif 9674-9674
surface
è un'
istanza
di
RelazioneAsimmetrica
(
instance
surface
BinaryPredicate
)
Merge.kif 9675-9675
surface
è un'
istanza
di
PredicatoBinario
(
subrelation
surface
superficialPart
)
Merge.kif 9676-9676
surface
è una
sottorelazione
di
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
L'
altezza
di
Aircraft
è
OggettoIntegro
OggettoIntegro
è una
superficie
di
PlanetEarth
Aircraft
è un'
istanza
di
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
attribute
OggettoIntegro
and
Concave
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
is
uguale
a
LineFn
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
Outside
a
OggettoIntegro
(=>
(
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
attribute
OggettoIntegro
and
Convex
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
is
uguale
a
LineFn
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
Inside
a
OggettoIntegro
(=>
(
and
(
instance
?ATTRIBUTE
ShapeAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17736-17741
Attributo
è un'
istanza
di
AttributoDiForma
attribute
OggettoIntegro
and
Attributo
OggettoIntegro
è una
superficie
di
OggettoIntegro
attribute
OggettoIntegro
and
Attributo
(=>
(
and
(
instance
?ATTRIBUTE
TextureAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17764-17769
Attributo
è un'
istanza
di
AttributoDiConsistenza
attribute
OggettoIntegro
and
Attributo
OggettoIntegro
è una
superficie
di
OggettoIntegro
attribute
OggettoIntegro
and
Attributo
(=>
(
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
Oggetto
è un'
istanza
di
Crystal
attribute
Oggetto
and
MonoCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
attribute
OggettoIntegro
and
Solid
attribute
OggettoIntegro
and
PolyCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
LNT
NumeroIntero
and
Oggetto
Oggetto
LNT è un'
istanza
di
InsiemeConcreto
memberCount
Oggetto
LNT and
NumeroIntero
NumeroIntero
è
pi
ù grande di o uguale a 4
Oggetto
è un
membro
di
Oggetto
LNT
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
incontra
s
Oggetto
(=>
(
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
OggettoIntegro
è un'
istanza
di
LiquidDrop
OggettoIntegro
è una
superficie
di
OggettoIntegro
l'affermazione
OggettoIntegro
S
Entit�
Entit�
è un'
istanza
di
Sostanza
attribute
Entit�
and
Liquid
OggettoIntegro
is
uguale
a
Entit�
OggettoIntegro
S è una
superficie
di
Entit�
OggettoIntegro
incontra
s
OggettoIntegro
S ha il modello di forza di
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
è un'
istanza
di
Misurare
OggettoIntegro
è un
paziente
di
Processo
OggettoIntegro
è una
superficie
di
PlanetEarth
MisuraDiLunghezza
è un
risultato
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
BarometricAltimeter
elevation
OggettoIntegro
and
MisuraDiLunghezza
(=>
(
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
OggettoIntegro
è un'
istanza
di
Oggetto
attribute
OggettoIntegro
and
ConvexRoundShape
OggettoIntegro
è una
superficie
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
TwoDimensionalObject
GeometricPoint
GeometricPoint
è una
parte
di
OggettoIntegro
attribute
GeometricPoint
and
GeometricPoint
pointOfFigure
GeometricPoint
and
OggettoIntegro
GeometricPoint
incontra
s
OggettoIntegro
GeometricPoint
incontra
s
OggettoIntegro
OneDimensionalFigure
tangent
OneDimensionalFigure
and
OggettoIntegro
(=>
(
and
(
instance
?RUNWAY
PavedRunway
)
(
surface
?SURFACE ?RUNWAY))
(
or
(
instance
?SURFACE
Asphalt
)
(
instance
?SURFACE
Concrete
)))
Transportation.kif 1316-1322
OggettoIntegro
è un'
istanza
di
PavedRunway
OggettoIntegro
è una
superficie
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Asphalt
OggettoIntegro
è un'
istanza
di
Concrete
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Asphalt
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1324-1329
OggettoIntegro
è un'
istanza
di
Runway
OggettoIntegro
è una
superficie
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Asphalt
OggettoIntegro
è un'
istanza
di
PavedRunway
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Concrete
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1331-1336
OggettoIntegro
è un'
istanza
di
Runway
OggettoIntegro
è una
superficie
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Concrete
OggettoIntegro
è un'
istanza
di
PavedRunway
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
OggettoIntegro
è un'
istanza
di
Ocean
OggettoIntegro
è una
superficie
di
OggettoIntegro
elevation
OggettoIntegro
and 0.0
FootLength
(s
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
OggettoIntegro
è un'
istanza
di
Ocean
OggettoIntegro
è una
superficie
di
OggettoIntegro
elevation
OggettoIntegro
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
Oggetto
è un'
istanza
di
UndergroundArea
Unit�DiMisura
è un'
istanza
di
UnitOfLength
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
OggettoIntegro
è una
superficie
di
PlanetEarth
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
Below
a
Oggetto
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
surface
?OBJ1 ?OBJ2)
(
forall
(?OBJ3)
(=>
(
superficialPart
?OBJ3 ?OBJ2)
(
part
?OBJ3 ?OBJ1))))
Merge.kif 9685-9690
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
Oggetto
è una
parte
superficiale di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
consequent
(<=>
(
earthAltitude
?OBJ ?ALT)
(
exists
(?SEA)
(
and
(
altitude
?OBJ ?SEA ?ALT)
(
surface
?SEA
PlanetEarth
))))
Geography.kif 2781-2786
earthAltitude
Oggetto
and
MisuraDiLunghezza
OggettoIntegro
l'
altezza
di
Oggetto
è
OggettoIntegro
OggettoIntegro
è una
superficie
di
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
OggettoIntegro
è un'
istanza
di
LiquidDrop
OggettoIntegro
è una
superficie
di
OggettoIntegro
l'affermazione
OggettoIntegro
S
Entit�
Entit�
è un'
istanza
di
Sostanza
attribute
Entit�
and
Liquid
OggettoIntegro
is
uguale
a
Entit�
OggettoIntegro
S è una
superficie
di
Entit�
OggettoIntegro
incontra
s
OggettoIntegro
S ha il modello di forza di
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
è un'
istanza
di
Misurare
Entit�Concreta
è un
paziente
di
Processo
MisuraDiLunghezza
è un
risultato
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
AbsoluteAltimeter
Entit�Concreta
2 l'
altezza
di
Entit�Concreta
è
Entit�Concreta
2
Entit�Concreta
2 è una
superficie
di
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
è un'
istanza
di
Painting
OggettoIntegro
è un
paziente
di
Processo
Oggetto
è una
risorsa
per
Processo
OggettoIntegro
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è un'
istanza
di
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
Proposizione
è un'
istanza
di
Argument
Processo
è un'
istanza
di
Ragionare
Proposizione
è un'
istanza
di
Archeology
Proposizione
è una
sottoproposizione
Proposizione
Processo
esprime
il contenuto di
Proposizione
Processo
Entit�
,
Entit�Concreta
,
NumeroReale
,
Entit�
and
Entit�
Processo
è un'
istanza
di
Discovering
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è un
paziente
di
Processo
Processo
include un
riferimento
a
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di 50
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
BodyOfWater
Entit�Concreta
è
Below
a
Entit�
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
SuperficieTerrestre
Entit�Concreta
è
Below
a
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
instance
?B
Bubble
)
(
exists
(?S)
(
and
(
surface
?S ?B)
(
attribute
?S
Liquid
))))
Mid-level-ontology.kif 5003-5008
OggettoIntegro
è un'
istanza
di
Bubble
OggettoIntegro
OggettoIntegro
è una
superficie
di
OggettoIntegro
attribute
OggettoIntegro
and
Liquid
(=>
(
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
Entit�Concreta
è un'
istanza
di
Detergent
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Spostamento
Entit�
è un'
istanza
di
Sostanza
Entit�
è un
paziente
di
Entit�
Entit�
si
originas in
Entit�
Entit�
è una
superficie
di
Entit�
(=>
(
instance
?L
Lesion
)
(
exists
(?S ?O)
(
and
(
surface
?S ?O)
(
instance
?O
Organ
)
(
located
?L ?S))))
Mid-level-ontology.kif 9396-9402
Entit�Concreta
è un'
istanza
di
Lesion
OggettoIntegro
OggettoIntegro
OggettoIntegro
è una
superficie
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Organo
Entit�Concreta
è
localizzato
in
OggettoIntegro
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
surface
?OBJ1 ?OBJ2)
(
instance
?OBJ2
ViralCore
))))
VirusProteinAndCellPart.kif 1205-1210
OggettoIntegro
è un'
istanza
di
VirusCoreEnvelope
OggettoIntegro
OggettoIntegro
è una
superficie
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
ViralCore
(=>
(
instance
?P
PeelOrRind
)
(
exists
(?X)
(
and
(
part
?P ?X)
(
instance
?X
FruitOrVegetable
)
(
surface
?P ?X))))
Food.kif 2302-2308
OggettoIntegro
è un'
istanza
di
PeelOrRind
OggettoIntegro
OggettoIntegro
è una
parte
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
FruttaOVerdura
OggettoIntegro
è una
superficie
di
OggettoIntegro
(=>
(
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
Entit�Concreta
è un'
istanza
di
PaintingDevice
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Sostanza
Entit�
è un'
istanza
di
Coprire
Entit�
è un'
istanza
di
Oggetto
Entit�
è una
superficie
di
Entit�
Entit�
è un
agente
di
Entit�Concreta
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
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
Oggetto
è un'
istanza
di
Skin
OggettoIntegro
OggettoIntegro
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Animale
Oggetto
si
sovrappones a
OggettoIntegro
(=>
(
instance
?W
CellWall
)
(
exists
(?CELL ?SURF)
(
and
(
instance
?CELL
Cell
)
(
part
?W ?CELL)
(
surface
?SURF ?CELL)
(
part
?SURF ?W))))
VirusProteinAndCellPart.kif 473-480
Oggetto
è un'
istanza
di
CellWall
OggettoIntegro
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Cellula
Oggetto
è una
parte
di
OggettoIntegro
OggettoIntegro
è una
superficie
di
OggettoIntegro
OggettoIntegro
è una
parte
di
Oggetto
(=>
(
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
Entit�Concreta
è un'
istanza
di
LandVehicle
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è una
superficie
di
AreaGeografica
Entit�
è un'
istanza
di
Trasporto
Entit�Concreta
incontra
s
Entit�
vales
durante
il
tempo
di esistenza di
Entit�
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
Oggetto
è un'
istanza
di
SubwaySystem
OggettoIntegro
OggettoIntegro
è una
superficie
di
AreaGeografica
Oggetto
è
Below
a
OggettoIntegro
(=>
(
instance
?place
UndergroundArea
)
(
exists
(?area ?ground)
(
and
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
))))
Geography.kif 3991-3997
Oggetto
è un'
istanza
di
UndergroundArea
Oggetto
OggettoIntegro
OggettoIntegro
è una
superficie
di
PlanetEarth
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
Below
a
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