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
part
Sigma KEE - part
part
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1570-1572
No TPTP formula. May not be expressible in strict first order.
Merge.kif 920-924
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 143-146
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 168-171
No TPTP formula. May not be expressible in strict first order.
Merge.kif 917-917
Le nombre 1 argument de
part
est une
instance
de
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 918-918
Le nombre 2 argument de
part
est une
instance
de
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 916-916
part
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 915-915
part
est une
instance
de
relation partiellement dirig�e
No TPTP formula. May not be expressible in strict first order.
Merge.kif 914-914
part
est une
instance
de
relation spatial
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1018-1018
contains
et
part
sont
disjoint
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 161-161
No TPTP formula. May not be expressible in strict first order.
english_format.kif 162-162
No TPTP formula. May not be expressible in strict first order.
french_format.kif 100-100
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 210-210
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1929-1929
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 52-52
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 64-64
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 197-197
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 248-248
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 119-119
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 101-101
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 402-402
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23698-23698
initialPart
est
reli
� � l'int�rieur de SUMO �
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23725-23725
initiallyContainsPart
est
reli
� � l'int�rieur de SUMO �
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23751-23751
partTypes
est
reli
� � l'int�rieur de SUMO �
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23624-23624
typicalPart
est
reli
� � l'int�rieur de SUMO �
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23661-23661
typicallyContainsPart
est
reli
� � l'int�rieur de SUMO �
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 965-965
component
est une
sous
-relation de
part
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 34-34
geneticSubstrateOfVirus
est une
sous
-relation de
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13172-13172
half
est une
sous
-relation de
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24376-24376
inString
est une
sous
-relation de
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9692-9692
interiorPart
est une
sous
-relation de
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13215-13215
most
est une
sous
-relation de
part
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7440-7451
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 10.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 2.5
objet
0
objet
0 est une
instance
de
CoarseParticulateMatter
objet
0 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7469-7479
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s)
nombre r�el
est
plus
grand
ou �gal � 2.5
objet
25
objet
25 est une
instance
de
FineParticulateMatter
objet
25 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7596-7611
amount
substance
,
objet corpusculaire
and
nombre r�el
UnitOfMass
(s)
substance
I est une
instance
de
substance
la
mesure
de
substance
I est
nombre r�el
2
UnitOfMass
(s)
substance
I est une
partie
de
objet corpusculaire
liste
nombre r�el
2
UnitOfMass
(s) est un
membre
de
liste
liste
est
AmountsFn
substance
,
objet corpusculaire
and
UnitOfMass
nombre r�el
est
ListSumFn
liste
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10685-10696
antagonistMuscles
muscle
and
muscle
processus
est une
instance
de
Extension
muscle
C est un
instrument
pour
processus
moves
d�palcement
and
muscle
C
muscle
C est une
instance
de
muscle
muscle
C est une
instance
de
muscle
muscle
C est une
partie
de
objet
muscle
C est une
partie
de
objet
objet
est une
instance
de
mammif�re
muscle
C est
capable
de faire
Flexion
dans le r�le
instrument
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10672-10683
antagonistMuscles
muscle
and
muscle
d�palcement
est une
instance
de
Flexion
muscle
C est un
instrument
pour
d�palcement
moves
d�palcement
and
muscle
C
muscle
C est une
instance
de
muscle
muscle
C est une
instance
de
muscle
muscle
C est une
partie
de
objet
muscle
C est une
partie
de
objet
objet
est une
instance
de
mammif�re
muscle
C est
capable
de faire
Extension
dans le r�le
instrument
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1754-1759
FlatTerrain
est un
attribut
de
objet
zone de terre
est une
partie
de
objet
slopeGradient
zone de terre
and
nombre r�el non n�gatif
0.005 est
plus
grand
que
nombre r�el non n�gatif
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1766-1771
LowTerrain
est un
attribut
de
objet
zone de terre
est une
partie
de
objet
slopeGradient
zone de terre
and
nombre r�el non n�gatif
0.03 est
plus
grand
que
nombre r�el non n�gatif
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 172-187
Anemia
est un
attribut
de
objet
objet
est une
instance
de
sang
objet
est une
partie
de
objet
Female
est un
attribut
de
objet
la
mesure
de
objet
est 0.1
Liter
(s)
objet
E est une
instance
de
Hemoglobin
objet
E est une
partie
de
objet
objet
E2 est une
instance
de
Hemoglobin
objet
E est
objet
E2
objet
2 est une
partie
de
objet
la
mesure
de
objet
E est
nombre r�el
Gram
(s)
nombre r�el
est
moins
que 12
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 155-170
Anemia
est un
attribut
de
objet
objet
est une
instance
de
sang
objet
est une
partie
de
objet
Male
est un
attribut
de
objet
la
mesure
de
objet
est 0.1
Liter
(s)
objet
E est une
instance
de
Hemoglobin
objet
E est une
partie
de
objet
objet
E2 est une
instance
de
Hemoglobin
objet
E est
objet
E2
objet
2 est une
partie
de
objet
la
mesure
de
objet
E est
nombre r�el
Gram
(s)
nombre r�el
est
moins
que 13
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19443-19453
Stressed
est un
attribut
de
objet
objet
est une
instance
de
mot
objet
est une
partie
de
objet
objet
2
objet
2 est une
instance
de
Syllable
objet
2 est une
partie
de
objet
Stressed
est un
attribut
de
objet
2
objet
2 est
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9715-9720
L'
arri
�re de
objet en une partie
est
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
connect
� �
objet en une partie
objet
est
Above
�
objet en une partie
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 703-711
chromosomeNumber
EukaryoticCell
and
nombre entier
objet
est une
partie
de
EukaryoticCell
objet
est une
instance
de
CellNucleus
EukaryoticCell
OLL est une
instance
de
collection
EukaryoticCell
OLL est
situ
� �
objet
memberType
EukaryoticCell
OLL and
Chromosome
memberCount
EukaryoticCell
OLL and
nombre entier
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 234-249
concentration
nombre r�el
unit� de mesure
(s),
substance
,
nombre r�el
unit� de mesure
2(s) and
mixture
substance
I est une
instance
de
substance
substance
I est une
partie
de
mixture
la
mesure
de
substance
I est
nombre r�el
unit� de mesure
3(s)
substance
I est une
partie
de
mixture
substance
I2 est une
instance
de
substance
substance
I est
substance
IE2
substance
I2 est une
partie
de
mixture
la
mesure
de
mixture
est
nombre r�el
unit� de mesure
2(s)
approximateValue
nombre r�el
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Geography.kif 514-518
Objet
est
connect
� �
objet
objet
est une
partie
de
objet
objet
est
connect
� �
objet
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1538-1544
cylinderBore
Cylinder
and
mesure de longueur
Cylinder
est une
instance
de
Cylinder
Circle
est une
instance
de
Circle
Circle
est une
partie
de
Cylinder
le
diam
�tre de
Circle
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
nombre r�el
MilesPerHour
(s) and
dur�e temporel
objet
est une
instance
de
Automobile
processus
est une
instance
de
GasPedal
processus
est une
instance
de
Pushing
processus
aboutit
�
objet
InternalCombustionEngine
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Crankshaft
objet
est une
partie
de
InternalCombustionEngine
la
mesure
de
objet
est
RotationFn
entit�
MilesPerHour
(s) and
dur�e temporel
pendant
temps
d'existence de
processus
l'argument
entit�
est
plus
grand
que
nombre r�el
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1923-1939
ennervates
Nerve
and
muscle
objet
est une
instance
de
Nerve
objet
est une
instance
de
muscle
objet
est une
partie
de
objet
objet
est une
partie
de
objet
Healthy
est un
attribut
de
objet
objet
est une
instance
de
humain
objet
a pour
but
objet
F
entit�
objet
F est une
instance
de
NerveFiring
objet
est un
instrument
pour
objet
F
muscle
est une
instance
de
MuscleContraction
objet
est un
instrument
pour
objet
V
objet
F
cause
muscle
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2636-2644
Objet
est
LineFn
objet
and
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
objet
objet
2 est
LineFn
objet
and
objet
objet
2 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 794-803
haploidNumber
Gamete
and
nombre entier
Gamete
est une
instance
de
Gamete
objet
est une
partie
de
Gamete
objet
est une
instance
de
CellNucleus
collection
est une
instance
de
collection
collection
est
situ
� �
objet
memberType
collection
and
Chromosome
memberCount
collection
and
nombre entier
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1838-1860
LateralRecumbant
est un
attribut
de
objet
objet
est
On
�
objet
pendant
position temporel
objet
est une
instance
de
LeftArm
objet
est une
partie
de
objet
objet
est une
instance
de
RightArm
objet
est une
partie
de
objet
objet
est une
instance
de
LeftLeg
objet
est une
partie
de
objet
objet
est une
instance
de
RightLeg
objet
est une
partie
de
objet
objet
rencontre
objet
objet
rencontre
objet
objet
ne
rencontre
%n{pas}
objet
objet
ne
rencontre
%n{pas}
objet
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1862-1884
LateralRecumbant
est un
attribut
de
objet
objet
est
On
�
objet
pendant
position temporel
objet
est une
instance
de
LeftArm
objet
est une
partie
de
objet
objet
est une
instance
de
RightArm
objet
est une
partie
de
objet
objet
est une
instance
de
LeftLeg
objet
est une
partie
de
objet
objet
est une
instance
de
RightLeg
objet
est une
partie
de
objet
objet
rencontre
objet
objet
rencontre
objet
objet
ne
rencontre
%n{pas}
objet
objet
ne
rencontre
%n{pas}
objet
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1799-1807
Prone
est un
attribut
de
objet
objet
est
On
�
objet
pendant
position temporel
objet
est une
instance
de
Chest
objet
est une
partie
de
objet
objet
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18246-18254
DeadOrMissingBodyPartFn
classe
est un
attribut
de
objet
pendant
position temporel
classe
I est une
instance
de
classe
classe
I est une
partie
de
objet
classe
I a pour
but
formule
formule
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12466-12473
Processus
est une
instance
de
combiner
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
objet
est une
partie
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
objet
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7440-7451
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 10.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 2.5
objet
10
objet
10 est une
instance
de
CoarseParticulateMatter
objet
10 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7469-7479
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s)
nombre r�el
est
plus
grand
ou �gal � 2.5
objet
25
objet
25 est une
instance
de
FineParticulateMatter
objet
25 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11682-11689
Objet
est une
instance
de
os
objet
objet
est une
instance
de
Skeleton
objet
est une
instance
de
Exoskeleton
objet
est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1277-1287
totalFacilityTypeInArea
secteur g�ographique
, la
classe
correspondant �
AirportWithPavedRunway
and
nombre entier non n�gatif
cha�ne sympbolique
entit�
cardinality
la
classe
d�crite par
cha�ne sympbolique
and
nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 632-640
accountAtSite
UserAccount
and
WebSite
objet
WebSite
_OWNER
objet
est une
instance
de
Database
WebSite
_OWNER est une
instance
de
AutonomousAgent
WebSite
_OWNER
poss
�de
WebSite
WebSite
_OWNER
poss
�de
objet
UserAccount
est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Music.kif 316-322
albumCoverImage
Album
and
Image
objet
est une
instance
de
AlbumCopiesFn
Album
and
DataStorageDevice
objet en une partie
contient
objet
l'argument
Image
est une
partie
de le
devant
de
objet en une partie
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Music.kif 426-436
MashupRecording
est un
attribut
de
objet
objet
est une
instance
de
Recording
objet
1
objet
2,
musique
and
musique
musicInterpretation
objet
1 and
musique
musicInterpretation
objet
2 and
musique
musique
est
musique
objet
1 est une
partie
de
objet
objet
2 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19443-19453
Stressed
est un
attribut
de
objet
objet
est une
instance
de
mot
objet
est une
partie
de
objet
objet
2
objet
2 est une
instance
de
Syllable
objet
2 est une
partie
de
objet
Stressed
est un
attribut
de
objet
2
objet
2 est
objet
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 4078-4095
GeometricFigure
est un
attribut
de
objet
objet
est une
instance
de
FourPosterBed
GeometricFigure
est une
instance
de
Quadrilateral
le
taille
de
GeometricFigure
est
OneDimensionalFigure
le
taille
de
GeometricFigure
est
OneDimensionalFigure
OneDimensionalFigure
est
OneDimensionalFigure
objet
objet
,
GeometricPoint
and
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Floor
objet
est
On
�
objet
objet
est
Vertical
�
objet
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
est un
attribut
de
objet
objet
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1207-1216
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
HotelLevelAttribute
objet
est une
instance
de
BuildingLevel
objet
objet
est une
instance
de
HotelBuilding
objet
est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1935-1946
TravelerAccommodation
est un
attribut
de
AutonomousAgent
AutonomousAgent
est
capable
de faire
RoomCleaningService
dans le r�le
agent
agent cognitif
objet
AutonomousAgent
emploie
agent cognitif
Maid
est un
attribut
de
agent cognitif
objet
est une
instance
de
HotelUnit
objet
est une
partie
de
appartenir
�
AutonomousAgent
objet
est
capable
de faire
RoomCleaningService
dans le r�le
patient
agent cognitif
est
capable
de faire
RoomCleaningService
dans le r�le
serviceProvider
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 48-56
Objet
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
processus
est une
sous
-classe de
tirer
objet
objet
est une
instance
de
arme
objet
est une
partie
de
objet
objet
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11967-11977
connectedBodyPart
partie du corps
and
partie du corps
Healthy
est un
attribut
de
objet
partie du corps
I
partie du corps
I
partie du corps
I est une
instance
de
partie du corps
partie du corps
I est une
instance
de
partie du corps
partie du corps
I est une
partie
de
objet
partie du corps
I est une
partie
de
objet
partie du corps
I est
connect
� �
partie du corps
I
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 32-46
connectedBodyPartTypes
partie du corps
,
partie du corps
and
organisme
organisme
C est une
instance
de
organisme
maladie ou syndrome
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
partie du corps
objet
est une
instance
de
partie du corps
objet
est
objet
objet
est une
partie
de
organisme
C
objet
est une
partie
de
organisme
C
objet
est
connect
� �
objet
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1127-1140
Objet
est un
appartenir
�
organisation
AnnexRoom
est un
attribut
de
objet
objet
est une
instance
de
HotelRoom
objet
objet
and
organisation
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
HotelFrontDesk
organisation
est
situ
� �
objet
objet
est un
appartenir
�
organisation
objet
est un
appartenir
�
organisation
objet
est une
partie
de
objet
objet
est
objet
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2636-2644
Objet
est
LineFn
objet
and
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
objet
objet
2 est
LineFn
objet
and
objet
objet
2 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5267-5276
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet
objet
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet
est une
instance
de
objet organique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6357-6364
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
PainFn
partie du corps
partie du corps
ART
partie du corps
ART est une
partie
de
processus
partie du corps
ART est
situ
� �
partie du corps
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2567-2583
La
mesure
de
objet
est
function de quantit�
pendant
position temporel
engineIdleSpeed
InternalCombustionEngine
and
function de quantit�
objet
est une
instance
de
Automobile
InternalCombustionEngine
est une
partie
de
objet
objet
est une
partie
de
InternalCombustionEngine
l'argument
entit�
entit�
entit�
prend place
pendant
position temporel
entit�
est une
instance
de
Pushing
entit�
aboutit
�
entit�
entit�
est une
partie
de
objet
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9894-9901
Trou
est un
trou
dans
objet en une partie
trou
est un
trou
dans
objet en une partie
trou
trou
est une
partie
de l'
union
des parties de
trou
et
trou
trou
est un
trou
dans
objet en une partie
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23710-23719
initialPart
objet
and
objet
physique
est une
instance
de
objet
entit�
entit�
est une
instance
de
objet
physique
est une
partie
de
entit�
pendant
le
d
�but de
temps
d'existence de
physique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23737-23745
initiallyContainsPart
objet
and
objet
physique
est une
instance
de
objet
entit�
entit�
est une
instance
de
objet
entit�
est une
partie
de
physique
pendant
le
d
�but de
temps
d'existence de
physique
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6237-6246
Objet
est une
instance
de
BodyAreaFn
partie du corps
objet
est une
instance
de
animal
objet
est une
partie
de
objet
objet
objet
est une
instance
de
partie du corps
objet
est
Near
�
objet
objet
est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6257-6275
Processus
est une
instance
de
Amputating
entit�
est un
patient
de
processus
objet
est une
instance
de
Limb
objet
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
os
objet
est une
partie
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
objet
est une
partie
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1163-1163
ViralPartFn
virus
and
VirusPart
est une
partie
de
virus
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 711-711
AtlantaGeorgia
est une
partie
de
Georgia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 662-662
Australia
est une
partie
de
Oceania
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 714-714
BaltimoreMaryland
est une
partie
de
Maryland
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 724-724
BostonMassachusetts
est une
partie
de
Massachusetts
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 1611-1611
ChicagoUnitedStates
est une
partie
de
Illinois
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 854-854
ClevelandOhio
est une
partie
de
Ohio
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 915-915
Connecticut
est une
partie
de
NewEngland
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 851-851
DallasTexas
est une
partie
de
Texas
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 841-841
DetroitMichigan
est une
partie
de
Michigan
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 835-835
FargoNorthDakota
est une
partie
de
NorthDakota
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 1242-1242
Germany
est une
partie
de
Europe
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 1245-1245
Greece
est une
partie
de
Europe
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 828-828
HoustonTexas
est une
partie
de
Texas
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 832-832
HudsonRiver
est une
partie
de
NewYorkState
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 728-728
KansasCityMissouri
est une
partie
de
Missouri
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 820-820
KoreanPeninsula
est une
partie
de
Asia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 805-805
LongIsland
est une
partie
de
NewYorkState
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 810-810
LosAngelesCalifornia
est une
partie
de
California
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 731-731
ManchesterNewHampshire
est une
partie
de
NewHampshire
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 989-989
Massachusetts
est une
partie
de
NewEngland
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 733-733
MemphisTennessee
est une
partie
de
Tennessee
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 737-737
MinneapolisMinnesota
est une
partie
de
Minnesota
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 740-740
MississippiRiver
est une
partie
de
UnitedStates
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 746-746
MontrealCanada
est une
partie
de
Canada
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
part