Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 876-880
No TPTP formula. May not be expressible in strict first order.
Merge.kif 873-873
The number 1 argument of
part
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 874-874
The number 2 argument of
part
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 872-872
part
is an
instance
of
partial ordering relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 871-871
part
is an
instance
of
spatial relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 943-943
contains
and
part
are
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 165-165
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21728-21728
havePartTypes
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21675-21675
initial part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21702-21702
initially contains part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21744-21744
partTypes
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21601-21601
typical part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21638-21638
typically contains part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 914-914
component
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 34-34
genetic substrate of virus
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10832-10832
half
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22176-22176
inString
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9084-9084
interior part
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10875-10875
most
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 2703-2703
path in system
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 898-898
piece
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 884-884
proper part
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10866-10866
quarter
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1189-1189
sub collection
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22212-22212
subString
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10848-10848
third
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 162-162
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 44412-44412
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 6806-6817
An object
is an
instance
of
PM
and
a self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and 10 is
greater
than
the real number
and
the real number
is
greater
than 2.5 if and only if there exists
the object
10 such that
the object
10 is an
instance
of
PM10
and
the object
10 is a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6835-6845
An object
is an
instance
of
PM
and
a self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and
the real number
is
greater
than or equal to 2.5 if and only if there exists
the object
25 such that
the object
25 is an
instance
of
PM2.5
and
the object
25 is a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1707-1712
If
flat terrain
is an
attribute
of
an object
and
a land area
is a
part
of
the object
and
a nonnegative real number
is a
slope
gradient of
the land area
,
then 0.005 is
greater
than
the nonnegative real number
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1719-1724
If
low terrain
is an
attribute
of
an object
and
a land area
is a
part
of
the object
and
a nonnegative real number
is a
slope
gradient of
the land area
,
then 0.03 is
greater
than
the nonnegative real number
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2666-2677
If
concave
is an
attribute
of
a self connected object
and
the self connected object
is a
surface
of
another self connected object
and
an object
is a
part
of
the other self connected object
and
another object
is a
part
of
the other self connected object
and
a third object
is
equal
to the line between
the object
and
the other object
and
the object
is not
equal
to
the other object
and
a fourth object
is a
part
of
the third object
,
then
the fourth object
is
outside
to
the self connected object
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2634-2645
If
convex
is an
attribute
of
a self connected object
and
the self connected object
is a
surface
of
another self connected object
and
an object
is a
part
of
the other self connected object
and
another object
is a
part
of
the other self connected object
and
a third object
is
equal
to the line between
the object
and
the other object
and
the object
is not
equal
to
the other object
and
a fourth object
is a
part
of
the third object
,
then
the fourth object
is
inside
to
the self connected object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17276-17286
If
stressed
is an
attribute
of
an object
and
another object
is an
instance
of
word
and
the object
is a
part
of
the other object
,
then there doesn't exist
the object
2 such that
the object
2 is an
instance
of
syllable
and
the object
2 is a
part
of
the other object
and
stressed
is an
attribute
of
the object
2 and
the object
2 is not
equal
to
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9107-9112
If the
bottom
of
a self connected object
is
another self connected object
and
an object
is a
part
of
the self connected object
and
the object
is not
connected
to
the other self connected object
,
then
the object
is
above
to
the other self connected object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 514-518
If
an object
is
connected
to
another object
and
the other object
is a
part
of
a third object
,
then
the object
is
connected
to
the third object
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1534-1540
If the bore of
a cylinder
is
a length measure
and
the cylinder
is an
instance
of
cylinder
and
a circle
is an
instance
of
circle
and
the circle
is a
part
of
the cylinder
,
then the
diameter
of
the circle
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2572-2588
If the idle speed of
an internal combustion engine
is the rotation of
a rotating
during
a time duration
and
an object
is an
instance
of
automobile
and
a process
is an
instance
of
gas pedal
and
the process
is an
instance
of
pushing
and
the process
end
s up at
another object
and
the internal combustion engine
is a
part
of
the object
and
the other object
is a
part
of
the object
and
a third object
is an
instance
of
Crankshaft
and
the third object
is a
part
of
the internal combustion engine
and the
measure
of
the third object
is the rotation of
an entity
during
the time duration
holds
during
the
time
of existence of
the process
,
then the statement
the entity
is
greater
than
the rotating
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2605-2613
If
an object
is
equal
to the line between
another object
and
a third object
and
a fourth object
is a
part
of
the object
and
a fifth object
is a
part
of
the object
and
the fourth object
is not
equal
to
the fifth object
and
the object
2 is
equal
to the line between
the fourth object
and
the fifth object
,
then
the object
2 is a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2554-2570
If the
measure
of
an object
is
a function quantity
holds
during
a time position
and the idle speed of
an internal combustion engine
is
the function quantity
and
another object
is an
instance
of
automobile
and
the internal combustion engine
is a
part
of
the other object
and
the object
is a
part
of
the internal combustion engine
,
then the statement there don't exist
an entity
and
another entity
such that
the entity
takes place
during
the time position
and
the entity
is an
instance
of
pushing
and
the entity
end
s up at
the other entity
and
the other entity
is a
part
of
the other object
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4066-4072
If
an entity
possess
es
an object
holds
during
a time position
and
another object
is a
part
of
the object
,
then
the entity
possess
es
the other object
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9292-9298
If
a hole
is a
hole
in
a self connected object
and
the self connected object
is a
part
of
another self connected object
,
then
overlaps spatially
the hole
and
the other self connected object
or
the hole
is a
hole
in
the other self connected object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9776-9783
If
an object
is an
instance
of
animal
and
another object
is an
instance
of
animal shell
and
the other object
is a
part
of
the object
,
then
the object
is an
instance
of
invertebrate
or
the object
is an
instance
of
reptile
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1619-1630
If
an object
is an
instance
of
armor
and
the object
is a
part
of
another object
or
the object
meet
s
the other object
,
then
the object
purpose there exists
an entity
such that
the entity
is an
instance
of
maintaining
and
the object
is an
instrument
for
the entity
and
the other object
experience
s
the entity
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1632-1644
If
an object
is an
instance
of
armor
and
the object
is a
part
of
another object
or
the object
meet
s
the other object
,
then
the object
purpose there doesn't exist
an entity
such that
the entity
is an
instance
of
damaging
and
the object
is an
instrument
for
the entity
and
the other object
experience
s
the entity
No TPTP formula. May not be expressible in strict first order.
Cars.kif 844-857
If
a physical system
is an
instance
of
automobile
and
another physical system
is an
instance
of
automobile
and
an object
is an
instance
of
shock
and
the object
is a
part
of
the physical system
and there doesn't exist
another object
such that
the other object
is an
instance
of
shock
and
the other object
is a
part
of
the other physical system
and the damping ratio of
the physical system
is
a real number
and the damping ratio of
the other physical system
is
another real number
,
then
the other real number
is
greater
than
the real number
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9918-9923
If
an object
is an
instance
of
animal
and
another object
is an
instance
of
exoskeleton
and
the other object
is a
part
of
the object
,
then
the object
is an
instance
of
invertebrate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9898-9903
If
an object
is an
instance
of
animal
and
another object
is an
instance
of
skeleton
and
the other object
is a
part
of
the object
,
then
the object
is an
instance
of
vertebrate
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 584-589
If
an object
is an
instance
of
automatic application
and
another object
is an
instance
of
software system
and
the object
is a
part
of
the other object
,
then the
startup
of
the object
is a
part
of the
startup
of
the other object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 3955-3965
If
an object
is an
instance
of
vehicle brake
and
another object
is an
instance
of
vehicle
and
the object
is a
part
of
the other object
,
then
the object
purpose there exists
an entity
such that
the entity
is an
instance
of the
stop
of
motion
and
the other object
is a
patient
of
the entity
and
the object
is an
instrument
for
the entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16781-16786
If
an object
is an
instance
of
reproductive body
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
organism
,
then
female
is an
attribute
of
the other object
No TPTP formula. May not be expressible in strict first order.
Cars.kif 693-707
If
an object
is an
instance
of
brake pedal
and
a process
is an
instance
of
pushing
and
another object
is an
instance
of
vehicle
and
the process
end
s up at
the object
and
the process
is
located
at
2
and
the object
is a
part
of
the other object
,
then
the object
purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
wearing friction surface
and
the other entity
is an
instance
of
friction
and
the entity
is an
instrument
for
the other entity
and
the process
cause
s
the other entity
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 11530-11537
A process
is an
instance
of
combining
and
an object
is a
resource
for
the process
and
an entity
is a
result
of
the process
if and only if
the object
is not a
part
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the object
is a
part
of
the entity
holds
during
the
end
of the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6806-6817
An object
is an
instance
of
PM
and
a self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and 10 is
greater
than
the real number
and
the real number
is
greater
than 2.5 if and only if there exists
the object
10 such that
the object
10 is an
instance
of
PM10
and
the object
10 is a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6835-6845
An object
is an
instance
of
PM
and
a self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and
the real number
is
greater
than or equal to 2.5 if and only if there exists
the object
25 such that
the object
25 is an
instance
of
PM2.5
and
the object
25 is a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9351-9356
Fillable
is an
attribute
of
an object
if and only if there exists
another object
such that
the other object
is an
instance
of
hole
and
the object
is a
part
of
the other object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9925-9932
An object
is an
instance
of
bone
if and only if there exists
another object
such that
the other object
is an
instance
of
skeleton
or
the other object
is an
instance
of
exoskeleton
and
the object
is a
part
of
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9027-9035
An object
partially
overlap
s with
another object
if and only if
the object
is not a
part
of
the other object
and
the other object
is not a
part
of
the object
and there exists
a third object
such that
the third object
is a
part
of
the object
and
the third object
is a
part
of
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8989-8994
overlaps spatially
an object
and
another object
if and only if there exists
a third object
such that
the third object
is a
part
of
the object
and
the third object
is a
part
of
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 891-896
An object
is a
proper
part
of
another object
if and only if
the object
is a
part
of
the other object
and
the other object
is not a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1266-1276
A geographic area
is
total
facility type in area the
class
corresponding to
airport with paved runway
for
a nonnegative integer
if and only if
the nonnegative integer
is a
cardinality
of the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 780-788
If
an user account
is an
account
at
an agent
,
then there exist
another agent
and
the agent
_OWNER such that
the other agent
is an
instance
of
database
and
the agent
_OWNER is an
instance
of
agent
and
the agent
possess
es
the agent
_OWNER and
the other agent
possess
es
the agent
_OWNER and
the user account
is a
part
of
the other agent
No TPTP formula. May not be expressible in strict first order.
Music.kif 313-319
If
an Image
is the
image
on
an album
and
an object
is an
instance
of the
set
of copies on
a kind of DataStorageDevice
of
the album
and
a self connected object
は
the object
を
contain
s %n{ない},
then the statement
the Image
is a
part
of the
front
of
the self connected object
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Music.kif 423-433
If
mashup
is an
attribute
of
an object
and
the object
is an
instance
of
recording
,
then there exist
the object
1,
the object
2,, ,
a music
and
another music
such that
the object
1 is a
recording
of
the music
and
the object
2 is a
recording
of
the other music
and
the music
is not
equal
to
the other music
and
the object
1 is a
part
of
the object
and
the object
2 is a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17276-17286
If
stressed
is an
attribute
of
an object
and
another object
is an
instance
of
word
and
the object
is a
part
of
the other object
,
then there doesn't exist
the object
2 such that
the object
2 is an
instance
of
syllable
and
the object
2 is a
part
of
the other object
and
stressed
is an
attribute
of
the object
2 and
the object
2 is not
equal
to
the object
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1158-1167
If
an attribute
is an
attribute
of
an object
and
the attribute
is an
instance
of
HotelLevelAttribute
,
then
the object
is an
instance
of
building level
and there exists
another object
such that
the other object
is an
instance
of
hotel
and
the object
is a
part
of
the other object
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1883-1894
If
traveler accommodation
is an
attribute
of
an agent
and
the agent
is
capable
of doing
service
as a
agent
,
then there exist
a cognitive agent
and
an object
such that
the agent
employ
s
the cognitive agent
and
maid
is an
attribute
of
the cognitive agent
and
the object
is an
instance
of
hotel unit
and
the object
is a
part
of
belongings
of
the agent
and
the object
is
capable
of doing
service
as a
patient
and
the cognitive agent
is
capable
of doing
service
as a
service provider
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 48-56
If
an object
is
capable
of doing
a kind of process
as a
a case role
and
a kind of process
is a
subclass
of
shooting
,
then there exists
another object
such that
the other object
is an
instance
of
weapon
and
the other object
is a
part
of
the object
and
the other object
is
capable
of doing
the kind of process
as a
the case role
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1084-1097
If
an object
is an
element
of
belongings
of
an organization
and
annex room
is an
attribute
of
the object
and
the object
is an
instance
of
hotel room
,
then there exist
another object
,
a third object
and
another organization
such that
the other organization
は組織
the organization
の一部では %n and
the other organization
is an
instance
of
front desk
and
the other organization
is
located
at
the other object
and
the other object
is an
element
of
belongings
of
the organization
and
the third object
is an
element
of
belongings
of
the organization
and
the object
is a
part
of
the third object
and
the other object
is not
equal
to
the third object
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2605-2613
If
an object
is
equal
to the line between
another object
and
a third object
and
a fourth object
is a
part
of
the object
and
a fifth object
is a
part
of
the object
and
the fourth object
is not
equal
to
the fifth object
and
the object
2 is
equal
to the line between
the fourth object
and
the fifth object
,
then
the object
2 is a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21731-21738
If
an object
_TYPE has
parts
of type
another object
_TYPE and
the other object
is an
instance
of
the other object
_TYPE,
then there exists
the object
such that
the object
is an
instance
of
the object
_TYPE and
the object
is a
part
of
the other object
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2554-2570
If the
measure
of
an object
is
a function quantity
holds
during
a time position
and the idle speed of
an internal combustion engine
is
the function quantity
and
another object
is an
instance
of
automobile
and
the internal combustion engine
is a
part
of
the other object
and
the object
is a
part
of
the internal combustion engine
,
then the statement there don't exist
an entity
and
another entity
such that
the entity
takes place
during
the time position
and
the entity
is an
instance
of
pushing
and
the entity
end
s up at
the other entity
and
the other entity
is a
part
of
the other object
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9283-9290
If
a hole
is a
hole
in
a self connected object
and
another hole
is a
hole
in
the self connected object
,
then for all
a third hole
if
the third hole
is a
part
of the
union
of the parts of
the hole
and
the other hole
,
then
the third hole
is a
hole
in
the self connected object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21687-21696
If every
a kind of object
is
initially
part
of a
another kind of object
and
a physical
is an
instance
of
a kind of object
,
then there exists
an entity
such that
the entity
is an
instance
of
another kind of object
and
the physical
is a
part
of
the entity
holds
during
the
beginning
of the
time
of existence of
the physical
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21714-21722
If instance of
a kind of object
are always
initially
part
of instances of
another kind of object
and
a physical
is an
instance
of
another kind of object
,
then there exists
an entity
such that
the entity
is an
instance
of
a kind of object
and
the entity
is a
part
of
the physical
holds
during
the
beginning
of the
time
of existence of
the physical
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 4885-4899
If
an agent
is an
instance
of
Biped
and
a process
is an
instance
of
ambulating
and
the agent
is an
agent
of
the process
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
leg
and
the other entity
is an
instance
of
leg
and
the entity
is a
part
of
the agent
and
the other entity
is a
part
of
the agent
and
the entity
is an
instrument
for
the process
and
the other entity
is an
instrument
for
the process
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1346-1353
If
an object
is an
instance
of
airport
and
airport with paved runway
is an
attribute
of
the object
,
then there exists
another object
such that
the other object
is an
instance
of
paved runway
and
the other object
is a
part
of
the object
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 578-578
The
viral
part of
a virus
and
a kind of virus part
is a
part
of
the virus
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 711-711
Atlanta georgia
is a
part
of
georgia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 662-662
Australia
is a
part
of
oceania
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 714-714
Baltimore maryland
is a
part
of
maryland
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 724-724
Boston, Massachusetts
is a
part
of
massachusetts
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 1611-1611
Chicago united states
is a
part
of
illinois
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 854-854
Cleveland ohio
is a
part
of
ohio
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 915-915
Connecticut
is a
part
of
new england
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 851-851
Dallas texas
is a
part
of
texas
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 841-841
Detroit michigan
is a
part
of
michigan
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 835-835
Fargo north dakota
is a
part
of
north dakota
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 1242-1242
Germany
is a
part
of
europe
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 1245-1245
Greece
is a
part
of
europe
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 828-828
Houston texas
is a
part
of
texas
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 832-832
Hudson river
is a
part
of
new york state
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 728-728
Kansas city missouri
is a
part
of
missouri
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 820-820
Korean peninsula
is a
part
of
asia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 805-805
Long island
is a
part
of
new york state
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 810-810
Los angeles california
is a
part
of
california
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 731-731
Manchester new hampshire
is a
part
of
new hampshire
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 989-989
Massachusetts
is a
part
of
new england
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 733-733
Memphis tennessee
is a
part
of
tennessee
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 737-737
Minneapolis minnesota
is a
part
of
minnesota
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 740-740
Mississippi river
is a
part
of
united states
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 746-746
Montreal canada
is a
part
of
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
part