Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
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 878-882
No TPTP formula. May not be expressible in strict first order.
Merge.kif 875-875
The number 1 argument of
part
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 876-876
The number 2 argument of
part
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 874-874
part
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 873-873
part
is an
instance
of
partial ordering relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 872-872
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 946-946
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 21707-21707
havePartTypes
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21654-21654
initial part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21681-21681
initially contains part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21723-21723
partTypes
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21580-21580
typical part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21617-21617
typically contains part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 916-916
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 10807-10807
half
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22155-22155
inString
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9139-9139
interior part
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10850-10850
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 900-900
piece
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 886-886
proper part
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10841-10841
quarter
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1193-1193
sub collection
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22191-22191
subString
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10823-10823
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 44508-44508
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 6899-6910
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 6928-6938
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 2664-2675
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 2632-2643
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 17254-17264
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 9162-9167
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 2603-2611
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 4108-4114
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 9347-9353
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
the hole
and
the other self connected object
is
overlapsSpatially
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 9751-9758
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 9893-9898
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 9873-9878
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 16847-16852
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 11582-11589
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 6899-6910
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 6928-6938
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 9406-9411
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 9900-9907
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 9080-9088
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 9042-9047
An object
and
another object
is
overlapsSpatially
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 893-898
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 782-790
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 17254-17264
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 1159-1168
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 1884-1895
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 2603-2611
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 21710-21717
If
an object
_TYPE has
parts
of type
another kind of object
and
a third object
is an
instance
of
another kind of object
,
then there exists
the object
such that
the object
is an
instance
of
the object
TYPE and
the object
is a
part
of
the third 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 9338-9345
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 21666-21675
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 21693-21701
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 579-579
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 3.0 is
open source software
produced by
Articulate Software
and its partners