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
meetsSpatially
Sigma KEE - meetsSpatially
meetsSpatially
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9574-9574
meetsSpatially
et
overlapsSpatially
sont
disjoint
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2828-2829
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9576-9578
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1570-1572
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9568-9568
Le nombre 1 argument de
meetsSpatially
est une
instance
de
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9569-9569
Le nombre 2 argument de
meetsSpatially
est une
instance
de
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9573-9573
meetsSpatially
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9571-9571
meetsSpatially
est une
instance
de
relation irr�flexive
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9572-9572
meetsSpatially
est une
instance
de
relation sym�trique
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9570-9570
meetsSpatially
est
reli
� � l'int�rieur de SUMO �
connected
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order.
english_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.
french_format.kif 211-211
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 179-179
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2018-2018
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 163-163
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 218-218
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 486-486
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 217-217
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 231-231
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 228-228
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 354-354
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11494-11494
grasps
est une
sous
-relation de
meetsSpatially
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 366-366
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36917-36917
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36916-36916
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36915-36915
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 355-355
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6231-6244
allergic
humain
and
substance
substance
UB est une
instance
de
substance
substance
UB
rencontre
humain
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
AllergicReaction
humain
exp
�rimente
entit�
temps
d'existence de
entit�
recouvre
position temporel
le
d
�but de
position temporel
se produit
avant
le
d
�but de
temps
d'existence de
entit�
a la
force
modale
de
Likely
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.
MilitaryDevices.kif 1619-1630
Objet
est une
instance
de
Armor
objet
est une
partie
de
objet
objet
rencontre
objet
objet
a pour
but
entit�
entit�
est une
instance
de
maintenir
objet
est un
instrument
pour
entit�
objet
exp
�rimente
entit�
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1632-1644
Objet
est une
instance
de
Armor
objet
est une
partie
de
objet
objet
rencontre
objet
objet
a pour
but
entit�
entit�
est une
instance
de
endommager
objet
est un
instrument
pour
entit�
objet
exp
�rimente
entit�
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 5016-5025
Objet
est une
instance
de
Bubble
objet
attribut
attribut
est un
attribut
de
objet
objet
est
Gas
objet
rencontre
objet
ConvexRoundShape
est un
attribut
de
objet
No TPTP formula. May not be expressible in strict first order.
Weather.kif 753-763
Processus
est une
instance
de
Hurricane
eventLocated
processus
and
objet
objet
est une
instance
de
secteur g�ographique
objet
est
situ
� �
objet
objet
rencontre
objet
objet
est
NortheasternPacificOcean
objet
est
NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5246-5251
Objet
est une
instance
de
Inlet
objet
rencontre
objet
objet
est une
instance
de
plan d'eau non sal�
objet
est une
instance
de
plan d'eau non sal�
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5239-5244
Objet
est une
instance
de
Inlet
objet
rencontre
objet
objet
est une
instance
de
plan d'eau sal�
objet
est une
instance
de
plan d'eau sal�
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14208-14214
Objet
est une
instance
de
�le
objet
est une
instance
de
secteur g�ographique
objet
rencontre
objet
objet
est une
instance
de
zone de terre
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1075-1082
Secteur g�ographique
est une
instance
de
MaritimeShelfArea
objet
est une
instance
de
ContinentalShelf
AutonomousAgent
est une
instance
de
nation
objet
rencontre
AutonomousAgent
claimedTerritory
secteur g�ographique
and
AutonomousAgent
secteur g�ographique
recouvre
objet
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1758-1780
muscleInsertion
muscle
and
partie du corps
objet
est une
instance
de
humain
StandardAnatomicalPosition
est un
attribut
de
objet
pendant
interval temporel
Healthy
est un
attribut
de
objet
interval temporel
est une
instance
de
MuscularContraction
temps
d'existence de
interval temporel
prend place
pendant
interval temporel
objet
est une
instance
de
muscle
objet
est une
partie
de
objet
objet
est un
instrument
pour
interval temporel
physicalEnd
objet
and
objet
objet
rencontre
objet
objet
est
situ
� �
entit�
pendant
le
d
�but de
interval temporel
objet
est
situ
� �
entit�
pendant
la
fin
de
interval temporel
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1708-1729
muscleOrigin
muscle
and
partie du corps
objet
est une
instance
de
humain
StandardAnatomicalPosition
est un
attribut
de
objet
pendant
interval temporel
Healthy
est un
attribut
de
objet
interval temporel
est une
instance
de
MuscularContraction
temps
d'existence de
interval temporel
prend place
pendant
interval temporel
objet
est une
instance
de
muscle
objet
est une
partie
de
objet
objet
est un
instrument
pour
interval temporel
physicalEnd
objet
and
objet
objet
rencontre
objet
objet
est
situ
� �
entit�
pendant
le
d
�but de
interval temporel
objet
est
situ
� �
entit�
pendant
la
fin
de
interval temporel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17906-17931
relativeAngle
objet
,
objet
and
nombre r�el
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
le
longueur
de
objet
est
nombre r�el
1
unit� de mesure
(s) le
longueur
de
objet
est
nombre r�el
2
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
3
unit� de mesure
(s)
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
ne
rencontre
%n{pas}
objet
nombre r�el
est
ArcCosineFn
((
nombre r�el
3 +
nombre r�el
3 +
nombre r�el
1 +
nombre r�el
1) +
nombre r�el
2 +
nombre r�el
2) + 2.0 +
nombre r�el
1 +
nombre r�el
2
No TPTP formula. May not be expressible in strict first order.
Geography.kif 724-726
Objet
rencontre
objet
objet
ne
recouvre
%n{pas}
objet
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 864-866
Objet
rencontre
objet
objet
est
Adjacent
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6163-6165
Objet
rencontre
objet
objet
est
Adjacent
�
objet
consequent
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.
Mid-level-ontology.kif 29752-29756
covers
objet
and
objet
objet
est une partie
superficielle
de
objet
objet
rencontre
objet
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.
Anatomy.kif 1814-1821
Supine
est un
attribut
de
objet en une partie
objet en une partie
est
On
�
objet
pendant
position temporel
objet en une partie
est
derri
�re de
objet en une partie
objet en une partie
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22018-22025
Objet
est une
instance
de
Blade
processus
est une
instance
de
couper
objet
est une
instance
de
objet
objet
est un
instrument
pour
processus
objet
est un
patient
de
processus
objet
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1741-1761
Physique
est une
instance
de
Cavitating
objet en une partie
est une
instance
de
Pump
DeviceOn
est un
attribut
de
objet en une partie
Liquid
est un
attribut
de
objet
objet en une partie
contient
objet
objet en une partie
P
entit�
objet en une partie
P est une
partie
de
objet en une partie
objet en une partie
P a pour
but
Liquid
est un
attribut
de
entit�
entit�
rencontre
objet en une partie
P
entit�
Liquid
est un
attribut
de
entit�
objet en une partie
P
rencontre
entit�
pendant
temps
d'existence de
physique
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9939-9947
Objet
est une
instance
de
trou
objet
est une
partie
de
objet
objet
objet
rencontre
objet
objet
ne
rencontre
%n{pas}
objet
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4287-4299
Objet
est une
instance
de
Reel
processus
est une
instance
de
garder
objet
est une
instance
de
objet corpusculaire
LongAndThin
est un
attribut
de
objet
Pliable
est un
attribut
de
objet
objet
est un
instrument
pour
processus
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
objet
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5823-5837
Objet en une partie
est une
instance
de
Isthmus
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
est
objet en une partie
objet
objet
,
objet
and
objet
objet
est une
instance
de
zone de terre
objet
est une
instance
de
zone de terre
objet en une partie
est
entre
objet
et
objet
objet
est une
instance
de
plan d'eau
objet
est une
instance
de
plan d'eau
objet en une partie
rencontre
objet
objet en une partie
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Cars.kif 902-915
Objet
est une
instance
de
LeafSpring
objet
est une
partie
de
objet
objet
est une
instance
de
RoadVehicle
l'argument
objet
2
objet
2 est une
instance
de
LeafSpring
objet
2 est une
partie
de
objet
objet
est
objet
2
objet
rencontre
objet
2 a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4016-4024
Objet corpusculaire
est une
instance
de
MountainRange
objet
est une
partie
de
objet corpusculaire
objet corpusculaire
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est une
instance
de
Mountain
objet
rencontre
objet corpusculaire
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18150-18184
Objet
est une
instance
de
Saw
processus
est une
instance
de
couper
objet
est un
instrument
pour
processus
objet
est une
instance
de
objet
objet
est un
patient
de
processus
processus
entit�
,
entit�
,
interval temporel
,
position temporel
,
position temporel
and
objet
processus
est une
instance
de
d�palcement
processus
est un
sous
-processus de
processus
objet
est une
instance
de
CuttingDevice
objet
est une
partie
de
objet
objet
rencontre
objet
objet
est un
patient
de
processus
position temporel
est une
instance
de
interval temporel
position temporel
est une
instance
de
interval temporel
temps
d'existence de
processus
est
interval temporel
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
entit�
est une
instance
de
attribut directionnel
entit�
est une
instance
de
attribut directionnel
les entit�es dans le processus
processus
bougent
entit�
pendant
position temporel
les entit�es dans le processus
processus
bougent
entit�
entit�
est
entit�
oppositeDirection
entit�
and
entit�
~{
entit�
est
entit�
} ~{
oppositeDirection
entit�
and
entit�
}
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6152-6161
Objet
est une
instance
de
ShoreArea
objet
est une
instance
de
plan d'eau
objet
est
Adjacent
�
objet
objet
objet
est une
instance
de
Shoreline
objet
est une
partie
de
objet
objet
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1651-1672
Processus
est une
instance
de
Tornado
processus
est une
instance
de
Rotating
objet
est une
instance
de
Air
processus
RAN est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
RAN est un
sous
-processus de
processus
objet
est un
patient
de
processus
RAN les entit�es dans le processus
processus
RAN
bougent
Horizontal
objet
objet en une partie
,
processus
OP,
objet en une partie
,
objet en une partie
and
objet en une partie
objet
est une
instance
de
secteur g�ographique
eventLocated
processus
and
objet
objet en une partie
est une
partie
de
objet
ConeSegment
est un
attribut
de
objet en une partie
le
dessus
de
objet en une partie
est
processus
OP l'
arri
�re de
objet en une partie
est
objet en une partie
objet en une partie
est une
instance
de
Cloud
l'
arri
�re de
objet en une partie
est
objet en une partie
processus
OP
rencontre
objet en une partie
objet en une partie
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Weather.kif 787-794
Processus
est une
instance
de
Typhoon
eventLocated
processus
and
objet
objet
est une
instance
de
secteur g�ographique
objet
est
situ
� �
NorthwesternPacificOcean
objet
rencontre
NorthwesternPacificOcean
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1289-1293
physicalEnd
objet
and
objet
objet
est une partie
superficielle
de
objet
objet
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1280-1287
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
ne
rencontre
%n{pas}
objet
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 5072-5080
Animal
porte
WearableItem
WearableItem
est une
instance
de
Belt
WearableItem
WearableItem
est une
instance
de
v�tement
animal
porte
WearableItem
WearableItem
rencontre
WearableItem
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 5120-5128
Animal
porte
WearableItem
WearableItem
est une
instance
de
Collar
objet
objet
est une
instance
de
Neck
objet
est une
partie
de
animal
WearableItem
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 5135-5143
Animal
porte
WearableItem
WearableItem
est une
instance
de
Glove
objet
objet
est une
instance
de
Hand
objet
est une
partie
de
animal
WearableItem
rencontre
objet
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.
CountriesAndRegions.kif 866-866
Alabama
rencontre
Mississippi
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 882-882
Alaska
rencontre
ArcticOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 880-880
Alaska
rencontre
Canada
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 881-881
Alaska
rencontre
PacificOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 885-885
Arizona
rencontre
California
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 886-886
Arizona
rencontre
Mexico
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 884-884
Arizona
rencontre
Nevada
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 892-892
Arkansas
rencontre
Louisiana
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 890-890
Arkansas
rencontre
Oklahoma
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 891-891
Arkansas
rencontre
Texas
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 136-136
BassasDaIndia
rencontre
IndianOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 138-138
BouvetIsland
rencontre
SouthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 904-904
California
rencontre
Mexico
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 905-905
California
rencontre
NewMexico
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 906-906
California
rencontre
Oregon
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 903-903
California
rencontre
PacificOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 907-907
California
rencontre
Washington
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 410-410
Canada
rencontre
UnitedStates
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 910-910
Colorado
rencontre
Arizona
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 911-911
Colorado
rencontre
NewMexico
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 912-912
Colorado
rencontre
Texas
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 909-909
Colorado
rencontre
Utah
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 920-920
Delaware
rencontre
Maryland
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 919-919
Delaware
rencontre
NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 921-921
Delaware
rencontre
Pennsylvania
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
meetsSpatially