Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 9816-9819
(
documentation
surface
JapaneseLanguage
"(
surface
?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 の 最大接続
superficialPart
であることを意味する。 注:一部の
SelfConnectedObject
s には複数 の表面がある。例:テニスボールのような中空の物体は、内側と外側の両方の面を持っている。")
japanese_format.kif 1582-1584
(
domain
surface
1
SelfConnectedObject
)
Merge.kif 9813-9813
Le nombre 1 argument de
surface
est une
instance
de
objet en une partie
(
domain
surface
2
SelfConnectedObject
)
Merge.kif 9814-9814
Le nombre 2 argument de
surface
est une
instance
de
objet en une partie
(
instance
surface
AsymmetricRelation
)
Merge.kif 9810-9810
surface
est une
instance
de
relation asym�trique
(
instance
surface
BinaryPredicate
)
Merge.kif 9811-9811
surface
est une
instance
de
pr�dicat binaire
(
subrelation
surface
superficialPart
)
Merge.kif 9812-9812
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 56290-56290
(
termFormat
EnglishLanguage
surface
"surface")
domainEnglishFormat.kif 56289-56289
(
termFormat
de
surface
"flaeche")
terms-de.txt 155-155
antecedent
(=>
(
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
equal
objet
and
LineFn
objet
and
objet
equal
objet
and
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
equal
objet
and
LineFn
objet
and
objet
equal
objet
and
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 17919-17924
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 17947-17952
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 7479-7499
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
?G
ExternalGear
)
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
instance
?T
GearTooth
)
(
part
?T ?G)
(
surface
?ST ?T))
(
not
(
part
?ST ?G)))
engineering.kif 775-785
Objet
est une
instance
de
ExternalGear
trou
est une
instance
de
trou
equal
objet
and l
h
�te du trou
trou
objet en une partie
est une
instance
de
GearTooth
objet en une partie
est une
partie
de
objet
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
partie
de
objet
(=>
(
and
(
instance
?G
Gear
)
(
superficialPart
?SG ?G)
(
instance
?T
GearTooth
)
(
part
?T ?G)
(
surface
?ST ?T))
(
part
?ST ?SG))
engineering.kif 822-829
Objet
est une
instance
de
Gear
objet
est une partie
superficielle
de
objet
objet en une partie
est une
instance
de
GearTooth
objet en une partie
est une
partie
de
objet
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
partie
de
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 7834-7846
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�
equal
objet en une partie
and
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
?RUNWAY
PavedRunway
)
(
surface
?SURFACE ?RUNWAY))
(
or
(
instance
?SURFACE
Asphalt
)
(
instance
?SURFACE
Concrete
)))
Transportation.kif 1388-1394
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 1396-1401
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 1403-1408
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
?T
GearTooth
)
(
instance
?G
InternalGear
)
(
part
?T ?G)
(
surface
?S ?T))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
part
?S ?G))))
engineering.kif 803-814
Objet en une partie
est une
instance
de
GearTooth
objet
est une
instance
de
InternalGear
objet en une partie
est une
partie
de
objet
objet en une partie
est une
surface
de
objet en une partie
trou
trou
est une
instance
de
trou
equal
objet
and l
h
�te du trou
trou
objet en une partie
est une
partie
de
objet
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 5091-5096
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 5084-5089
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 4239-4250
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 9821-9826
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 2939-2944
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 7834-7846
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�
equal
objet en une partie
and
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
?PAINT
Painting
)
(
patient
?PAINT ?SURFACE)
(
resource
?PAINT ?STUFF))
(
exists
(?OBJ)
(
and
(
surface
?SURFACE ?OBJ)
(
instance
?STUFF
Paint
))))
Mid-level-ontology.kif 3631-3639
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 22764-22794
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
(=>
(
equal
(
MeasureFn
(
PerFn
(
MeasureFn
?F
KilogramForce
)
(
MeasureFn
?A
SquareMillimeter
))
VickersPyramidNumber
)
(
VickersHardnessFn
?CLASS))
(
modalAttribute
(
exists
(?SUB ?P ?D ?H ?S)
(
and
(
instance
?SUB ?CLASS)
(
instance
?P
Pushing
)
(
destination
?P ?SUB)
(
instance
?D
Diamond
)
(
shape
?D
SquarePyramid
)
(
patient
?P ?D)
(
result
?P ?H)
(
instance
?H
HoleRegion
)
(
part
?H ?SUB)
(
surface
?S ?H)
(
totalArea
?S
(
MeasureFn
?A
SquareMillimeter
))
(
measure
?P
(
MeasureFn
?F
KilogramForce
))))
Likely
))
Mid-level-ontology.kif 10473-10494
equal
PerFn
nombre r�el
KilogramForce
(s) and
nombre r�el
SquareMillimeter
(s)
VickersPyramidNumber
(s) and
VickersHardnessFn
substance
l'argument
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
substance
entit�
est une
instance
de
Pushing
entit�
aboutit
�
entit�
entit�
est une
instance
de
Diamond
shape
entit�
and
SquarePyramid
entit�
est un
patient
de
entit�
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
trou
entit�
est une
partie
de
entit�
entit�
est une
surface
de
entit�
totalArea
entit�
and
nombre r�el
SquareMillimeter
(s) la
mesure
de
entit�
est
nombre r�el
KilogramForce
(s) a la
force
modale
de
Likely
(=>
(
equal
(
MeasureFn
?X
PoundForce
)
(
JankaHardnessFn
?CLASS))
(
modalAttribute
(
exists
(?T ?W ?P ?B ?H ?S)
(
and
(
instance
?T ?CLASS)
(
part
?W ?T)
(
instance
?W
Wood
)
(
instance
?P
Pushing
)
(
destination
?P ?W)
(
instance
?B
Ball
)
(
material
?B
Steel
)
(
patient
?P ?B)
(
sphereRadius
?B
(
MeasureFn
5.64
Millimeter
))
(
result
?P ?H)
(
instance
?H
HoleRegion
)
(
part
?H ?W)
(
surface
?S ?W)
(
distance
?S ?H
(
MeasureFn
5.64
Millimeter
))
(
measure
?P
(
MeasureFn
?X
PoundForce
))))
Likely
))
Mid-level-ontology.kif 10397-10420
equal
nombre r�el
PoundForce
(s) and
JankaHardnessFn
BotanicalTree
l'argument
entit�
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
BotanicalTree
entit�
est une
partie
de
entit�
entit�
est une
instance
de
Wood
entit�
est une
instance
de
Pushing
entit�
aboutit
�
entit�
entit�
est une
instance
de
Ball
entit�
est
fait
de
Steel
entit�
est un
patient
de
entit�
sphereRadius
entit�
and 5.64
Millimeter
(s)
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
trou
entit�
est une
partie
de
entit�
entit�
est une
surface
de
entit�
la
distance
entre
entit�
et
entit�
est 5.64
Millimeter
(s) la
mesure
de
entit�
est
nombre r�el
PoundForce
(s) a la
force
modale
de
Likely
(=>
(
instance
?B
Bubble
)
(
exists
(?S)
(
and
(
surface
?S ?B)
(
attribute
?S
Liquid
))))
Mid-level-ontology.kif 5940-5945
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 10054-10063
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 10725-10731
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 1213-1218
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 2309-2315
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 3705-3716
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 12322-12329
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 477-484
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 3915-3924
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 4231-4237
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