Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
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.
Merge.kif 973-975
No TPTP formula. May not be expressible in strict first order.
Merge.kif 968-972
No TPTP formula. May not be expressible in strict first order.
Merge.kif 966-966
The number 1 argument of
part
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 967-967
The number 2 argument of
part
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 965-965
part
is an
instance
of
partial ordering relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 964-964
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 1045-1045
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 107-107
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21663-21663
havePartTypes
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21610-21610
initial part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21637-21637
initially contains part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21679-21679
partTypes
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21536-21536
typical part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21573-21573
typically contains part
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1012-1012
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 10774-10774
half
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22111-22111
inString
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9705-9705
interior part
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10817-10817
most
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 2666-2666
path in system
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 995-995
piece
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 979-979
proper part
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10808-10808
quarter
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1332-1332
sub collection
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22147-22147
subString
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10790-10790
third
is a
subrelation
of
part
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 162-162
"部分" is the
printable
form
of
part
in
ChineseLanguage
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 7840-7840
"part" is the
printable
form
of
part
in
english language
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6790-6801
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 6819-6829
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 1695-1700
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 1707-1712
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 1124-1135
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
a fifth object
,
then
the fourth object
is
inside
to
the self connected object
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 1105-1116
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
a fifth object
,
then
the fourth object
is
outside
to
the self connected object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17222-17232
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 9731-9736
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 511-515
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 1533-1539
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 2571-2584
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 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 object
and the
measure
of
the third object
is the rotation of
another rotating
during
the time duration
,
then the statement
the other rotating
is
greater
than
the rotating
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 1089-1097
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 2553-2569
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 9929-9935
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
overlap
s with
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 9752-9759
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 1618-1629
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
has
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 1631-1643
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
has
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 843-856
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 9894-9899
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 9874-9879
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 582-587
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 3953-3963
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
has
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 18526-18531
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
has
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
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4047-4077
If
an object
is an
instance
of
bi-metal temperature sensor
and
another object
is an
instance
of
metal
and
a third object
is an
instance
of
metal
and
the other object
is not
equal
to
the third object
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
an entity
is an
instance
of
temperature measure
and
another entity
is an
instance
of
temperature measure
and
a quantity
is an
instance
of
length measure
and
another quantity
is an
instance
of
length measure
and
a third quantity
is an
instance
of
length measure
and
a fourth quantity
is an
instance
of
length measure
and
the entity
is not
equal
to
the other entity
and the
measure
of
the object
is
the entity
and the
measure
of
the other object
is
the quantity
and the
measure
of
the third object
is
the other quantity
holds
during
a time position
and the
measure
of
the object
is
the other entity
and the
measure
of
the other object
is
the third quantity
and the
measure
of
the third object
is
the fourth quantity
holds
during
another time position
,
then
the quantity
and
the other quantity
is not
equal
to
the third quantity
and
the fourth quantity
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 12376-12383
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 6790-6801
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 6819-6829
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 9992-9997
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 9901-9908
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 9642-9650
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 9604-9609
An object
overlap
s with
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 988-993
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 1251-1261
A geographic area
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 784-792
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 319-325
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
contain
s
the object
,
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 429-439
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 17222-17232
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 1154-1163
If
an entity
is an
attribute
of
an object
and
the entity
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 1879-1890
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 1080-1093
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
is a part of the organization
the organization
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 1089-1097
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 21666-21673
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 2553-2569
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 9920-9927
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 21622-21631
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 21649-21657
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 4884-4898
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
L2
such that
the entity
is an
instance
of
leg
and
another 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 1331-1338
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