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
Le nombre 1 argument de
surface
est une
instance
de
objet en une partie
(
domain
surface
2
SelfConnectedObject
)
Merge.kif 9678-9678
Le nombre 2 argument de
surface
est une
instance
de
objet en une partie
(
instance
surface
AsymmetricRelation
)
Merge.kif 9674-9674
surface
est une
instance
de
relation asym�trique
(
instance
surface
BinaryPredicate
)
Merge.kif 9675-9675
surface
est une
instance
de
pr�dicat binaire
(
subrelation
surface
superficialPart
)
Merge.kif 9676-9676
surface
est une
sous
-relation 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
Le
altitude
de
Aircraft
est
objet en une partie
objet en une partie
est une
surface
de
PlanetEarth
Aircraft
est une
instance
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
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
LineFn
objet
and
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est
Outside
�
objet en une partie
(=>
(
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
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
LineFn
objet
and
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est
Inside
�
objet en une partie
(=>
(
and
(
instance
?ATTRIBUTE
ShapeAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17736-17741
Attribut
est une
instance
de
attribut de forme
attribut
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
attribut
est un
attribut
de
objet en une partie
(=>
(
and
(
instance
?ATTRIBUTE
TextureAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17764-17769
Attribut
est une
instance
de
TextureAttribute
attribut
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
attribut
est un
attribut
de
objet en une partie
(=>
(
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
Objet
est une
instance
de
Crystal
MonoCrystalline
est un
attribut
de
objet
objet en une partie
est une
instance
de
substance
Solid
est un
attribut
de
objet en une partie
PolyCrystalline
est un
attribut
de
objet en une partie
objet en une partie
est une
instance
de
substance
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
LNT
nombre entier
and
objet
objet
LNT est une
instance
de
collection
memberCount
objet
LNT and
nombre entier
nombre entier
est
plus
grand
ou �gal � 4
objet
est un
membre
de
objet
LNT
objet
est une
partie
de
objet en une partie
objet
rencontre
objet
(=>
(
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
Objet en une partie
est une
instance
de
LiquidDrop
objet en une partie
est une
surface
de
objet en une partie
l'argument
objet en une partie
S
entit�
entit�
est une
instance
de
substance
Liquid
est un
attribut
de
entit�
objet en une partie
est
entit�
objet en une partie
S est une
surface
de
entit�
objet en une partie
rencontre
objet en une partie
S a la
force
modale
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
Processus
est une
instance
de
mesurer
objet en une partie
est un
patient
de
processus
objet en une partie
est une
surface
de
PlanetEarth
mesure de longueur
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
BarometricAltimeter
elevation
objet en une partie
and
mesure de longueur
(=>
(
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
Objet en une partie
est une
instance
de
objet
ConvexRoundShape
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
instance
de
TwoDimensionalObject
GeometricPoint
GeometricPoint
est une
partie
de
objet en une partie
GeometricPoint
est un
attribut
de
GeometricPoint
GeometricPoint
est un
point
de
objet en une partie
GeometricPoint
rencontre
objet en une partie
GeometricPoint
rencontre
objet en une partie
OneDimensionalFigure
la
tangente
de
objet en une partie
est
OneDimensionalFigure
(=>
(
and
(
instance
?RUNWAY
PavedRunway
)
(
surface
?SURFACE ?RUNWAY))
(
or
(
instance
?SURFACE
Asphalt
)
(
instance
?SURFACE
Concrete
)))
Transportation.kif 1316-1322
Objet en une partie
est une
instance
de
PavedRunway
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
instance
de
Asphalt
objet en une partie
est une
instance
de
Concrete
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Asphalt
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1324-1329
Objet en une partie
est une
instance
de
Runway
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
instance
de
Asphalt
objet en une partie
est une
instance
de
PavedRunway
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Concrete
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1331-1336
Objet en une partie
est une
instance
de
Runway
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
instance
de
Concrete
objet en une partie
est une
instance
de
PavedRunway
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
Objet en une partie
est une
instance
de
Ocean
objet en une partie
est une
surface
de
objet en une partie
elevation
objet en une partie
and 0.0
FootLength
(s)
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
Objet en une partie
est une
instance
de
Ocean
objet en une partie
est une
surface
de
objet en une partie
elevation
objet en une partie
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
Objet
est une
instance
de
UndergroundArea
unit� de mesure
est une
instance
de
UnitOfLength
earthAltitude
objet
and
nombre r�el
unit� de mesure
(s)
objet en une partie
est une
surface
de
PlanetEarth
objet
est une
partie
de
objet en une partie
objet
est
Below
�
objet
earthAltitude
objet
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
surface
?OBJ1 ?OBJ2)
(
forall
(?OBJ3)
(=>
(
superficialPart
?OBJ3 ?OBJ2)
(
part
?OBJ3 ?OBJ1))))
Merge.kif 9685-9690
Objet en une partie
est une
surface
de
objet en une partie
objet
objet
est une partie
superficielle
de
objet en une partie
objet
est une
partie
de
objet en une partie
consequent
(<=>
(
earthAltitude
?OBJ ?ALT)
(
exists
(?SEA)
(
and
(
altitude
?OBJ ?SEA ?ALT)
(
surface
?SEA
PlanetEarth
))))
Geography.kif 2781-2786
earthAltitude
objet
and
mesure de longueur
objet en une partie
le
altitude
de
objet
est
objet en une partie
objet en une partie
est une
surface
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
Objet en une partie
est une
instance
de
LiquidDrop
objet en une partie
est une
surface
de
objet en une partie
l'argument
objet en une partie
S
entit�
entit�
est une
instance
de
substance
Liquid
est un
attribut
de
entit�
objet en une partie
est
entit�
objet en une partie
S est une
surface
de
entit�
objet en une partie
rencontre
objet en une partie
S a la
force
modale
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
Processus
est une
instance
de
mesurer
physique
est un
patient
de
processus
mesure de longueur
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
AbsoluteAltimeter
physique
2 le
altitude
de
physique
est
physique
2
physique
2 est une
surface
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
Processus
est une
instance
de
Painting
objet en une partie
est un
patient
de
processus
objet
est une
resource
pour
processus
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
instance
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
Proposition
est une
instance
de
Argument
processus
est une
instance
de
raisonner
proposition
est une
instance
de
Archeology
proposition
est une
sous
-proposition de
proposition
processus
exprime
le contenu de
proposition
processus
entit�
,
physique
,
nombre r�el
,
entit�
and
entit�
processus
est une
instance
de
Discovering
physique
est une
instance
de
objet
physique
est un
patient
de
processus
processus
inclut une
r
�f�rence �
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
que 50
entit�
est une
surface
de
entit�
entit�
est une
instance
de
BodyOfWater
physique
est
Below
�
entit�
entit�
est une
surface
de
entit�
entit�
est une
instance
de
zone de terre
physique
est
Below
�
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
instance
?B
Bubble
)
(
exists
(?S)
(
and
(
surface
?S ?B)
(
attribute
?S
Liquid
))))
Mid-level-ontology.kif 5003-5008
Objet en une partie
est une
instance
de
Bubble
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
Liquid
est un
attribut
de
objet en une partie
(=>
(
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
Physique
est une
instance
de
Detergent
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
supprimer
entit�
est une
instance
de
substance
entit�
est un
patient
de
entit�
entit�
a pour
origine
entit�
entit�
est une
surface
de
entit�
(=>
(
instance
?L
Lesion
)
(
exists
(?S ?O)
(
and
(
surface
?S ?O)
(
instance
?O
Organ
)
(
located
?L ?S))))
Mid-level-ontology.kif 9396-9402
Physique
est une
instance
de
Lesion
objet en une partie
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
instance
de
organe
physique
est
situ
� �
objet en une partie
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
surface
?OBJ1 ?OBJ2)
(
instance
?OBJ2
ViralCore
))))
VirusProteinAndCellPart.kif 1205-1210
Objet en une partie
est une
instance
de
VirusCoreEnvelope
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
instance
de
ViralCore
(=>
(
instance
?P
PeelOrRind
)
(
exists
(?X)
(
and
(
part
?P ?X)
(
instance
?X
FruitOrVegetable
)
(
surface
?P ?X))))
Food.kif 2302-2308
Objet en une partie
est une
instance
de
PeelOrRind
objet en une partie
objet en une partie
est une
partie
de
objet en une partie
objet en une partie
est une
instance
de
fruit ou v�g�tal
objet en une partie
est une
surface
de
objet en une partie
(=>
(
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
Physique
est une
instance
de
PaintingDevice
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
substance
entit�
est une
instance
de
couvrir
entit�
est une
instance
de
objet
entit�
est une
surface
de
entit�
entit�
est un
agent
de
physique
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
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
Objet
est une
instance
de
Skin
objet en une partie
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet en une partie
est une
instance
de
animal
objet
recouvre
objet en une partie
(=>
(
instance
?W
CellWall
)
(
exists
(?CELL ?SURF)
(
and
(
instance
?CELL
Cell
)
(
part
?W ?CELL)
(
surface
?SURF ?CELL)
(
part
?SURF ?W))))
VirusProteinAndCellPart.kif 473-480
Objet
est une
instance
de
CellWall
objet en une partie
objet en une partie
objet en une partie
est une
instance
de
cellule
objet
est une
partie
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
partie
de
objet
(=>
(
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
Physique
est une
instance
de
LandVehicle
physique
a pour
but
entit�
entit�
entit�
est une
surface
de
secteur g�ographique
entit�
est une
instance
de
transporter
physique
rencontre
entit�
pendant
temps
d'existence de
entit�
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
Objet
est une
instance
de
SubwaySystem
objet en une partie
objet en une partie
est une
surface
de
secteur g�ographique
objet
est
Below
�
objet en une partie
(=>
(
instance
?place
UndergroundArea
)
(
exists
(?area ?ground)
(
and
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
))))
Geography.kif 3991-3997
Objet
est une
instance
de
UndergroundArea
objet
objet en une partie
objet en une partie
est une
surface
de
PlanetEarth
objet
est une
partie
de
objet en une partie
objet
est
Below
�
objet
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