Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
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
located
Sigma KEE - located
located
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2111-2112
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3988-3990
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3985-3985
The number 1 argument of
located
is an
instance
of
physical
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3986-3986
The number 2 argument of
located
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3980-3980
located
is an
instance
of
antisymmetric relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3982-3982
located
is an
instance
of
total valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3981-3981
located
is an
instance
of
transitive relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3983-3983
located
is a
subrelation
of
partly located
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 145-145
No TPTP formula. May not be expressible in strict first order.
english_format.kif 146-146
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3787-3787
time
is
internally
related to
located
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4044-4044
exactly located
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13792-13792
geographic subregion
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7252-7252
headquarters of organization
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16821-16821
onboard
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9876-9876
partially fills
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24108-24108
postCity
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24051-24051
postCountry
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24092-24092
postDistrict
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24020-24020
postNeighborhood
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24134-24134
postPostcodeArea
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 146-146
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34841-34841
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34840-34840
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24140-24145
A PostalPlace
is
located
at
a PostcodeArea
and
the PostalPlace
is an
instance
of
PostalPlace
and
the PostcodeArea
is an
instance
of
PostcodeArea
if and only if
the PostalPlace
is in
post
code
the PostcodeArea
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24113-24118
A PostalPlace
is
located
at
a city
and
the PostalPlace
is an
instance
of
PostalPlace
and
the city
is an
instance
of
city
if and only if
the PostalPlace
is in
the city
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24026-24031
A PostalPlace
is
located
at
a neighborhood
and
the PostalPlace
is an
instance
of
PostalPlace
and
the neighborhood
is an
instance
of
neighborhood
if and only if
the PostalPlace
is in
the neighborhood
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24097-24102
A PostalPlace
is
located
at
a state or province
and
the PostalPlace
is an
instance
of
PostalPlace
and
the state or province
is an
instance
of
state or province
if and only if
the PostalPlace
is in
the state or province
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24063-24070
A PostalPlace
is
located
at
a geopolitical area
and
the PostalPlace
is an
instance
of
PostalPlace
and
the geopolitical area
is an
instance
of
nation
or
the geopolitical area
is an
instance
of
dependency or special sovereignty area
if and only if
the PostalPlace
is in
the geopolitical area
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19919-19940
If
waiter
is an
attribute
of
a cognitive agent
and
the cognitive agent
is an
instance
of
human
and
another cognitive agent
employ
s
the cognitive agent
and
the other cognitive agent
is an
instance
of
restaurant
and
the other cognitive agent
is a
customer
of
a third cognitive agent
and
the third cognitive agent
is
located
at
an object
and
the object
is an
instance
of
table
,
then
the other cognitive agent
possess
es
another object
and
the other object
is an
instance
of
kitchen area
and
a third object
is an
instance
of
dining area
and
the object
is
located
at
the third object
and
the cognitive agent
has the purpose
an entity
is an
instance
of
carrying
and
the cognitive agent
is an
agent
of
the entity
and
the entity
originate
s at
the other object
and
the entity
end
s up at
the object
and
another entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
food
for
human
No TPTP formula. May not be expressible in strict first order.
TransportDetail.kif 153-171
If
an organization
is
capable
of doing
valet parking
as a
agent
and
the organization
is a
customer
of
a cognitive agent
and
the organization
is
located
at
an object
and
a process
is an
instance
of
arriving
and
the cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the process
end
s up at
the object
,
then
a human
holds the
position
of
valet
in
the organization
and the statement there exists
another entity
such that
the other entity
is an
instance
of
valet parking
and
the human
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
and
the other entity
end
s up at
a third entity
and
the third entity
is an
instance
of
parking area
has the
modal
force
of
possibility
No TPTP formula. May not be expressible in strict first order.
Military.kif 772-778
If
a human
is a
citizen
of
a nation
and there doesn't exist
an object
such that
the human
is
located
at
the object
,
then
the human
is
located
at
the nation
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1910-1915
If
a length measure
is an
elevation
of
an object
and
the object
is
located
at
another object
and
the other object
is an
instance
of
geographic area
,
then
the other object
is a
superficial
part of
planet earth
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 334-349
If use of
a class
is free for
a kind of hotel unit
and
the class
is a
subclass
of
object
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
an object
is an
instance
of
the class
and
the object
is
located
at
the temporary residence
and
a process
is an
instance
of
process
and
the human
is an
agent
of
the process
and
the object
is a
patient
of
the process
or
the object
is an
instrument
for
the process
or
the object
is a
resource
for
the process
,
then
the process
is
price
0
united states dollar
(s) for
the agent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 351-365
If use of
a class
is free for
a kind of hotel unit
and
the class
is a
subclass
of
process
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
the human
is a
patient
of
a process
and
the process
is an
instance
of
the class
or
another process
is an
instance
of
the class
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then
the process
is
price
0.0
united states dollar
(s) for
the agent
No TPTP formula. May not be expressible in strict first order.
MilitaryPersons.kif 26-47
If
dislocated civilian
is an
attribute
of
an entity
and
the entity
live
s in
another entity
and
the other entity
is
located
at
a geographic area
holds
during
a time interval
and
the geographic area
is an
instance
of
geographic area
and
the time interval
is an
instance
of
time interval
,
then there exist
another time interval
,
a third entity
-PLACE and
the third entity
-RES such that
the other time interval
is an
instance
of
time interval
and
the other time interval
happens
earlier
than
the time interval
and
the third entity
-RES is an
instance
of
object
and
the third entity
-PLACE is an
instance
of
geopolitical area
and
the third entity
-RES is
located
at
the third entity
-PLACE and
the geographic area
is not
equal
to
the third entity
-PLACE and
the other entity
is not
equal
to
the third entity
-RES and
the geographic area
is not a
geographic
subregion of
the third entity
-PLACE and
the third entity
-PLACE is not a
geographic
subregion of
the geographic area
and
the entity
live
s in
the third entity
-RES holds
during
the other time interval
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24384-24393
If
an entity
is an
instance
of
human
and
another entity
has
number
a third entity
and
the third entity
is the
telephone
number
of
the entity
and
the other entity
is
located
at
a fourth entity
and
the fourth entity
is an
instance
of
residence
holds
during
a time position
,
then
the entity
live
s in
the fourth entity
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1882-1887
If
an object
is an
instance
of
geographic area
and
a physical
is an
instance
of
geological fault
and
the physical
is
located
at
the object
,
then
geologically stable
is not an
attribute
of
the object
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 665-671
If
a process
is an
instance
of
anti surface operation
and
an entity
is a
patient
of
the process
and
the entity
is
located
at
another entity
holds
during
the
time
of existence of
the process
,
then
the other entity
is an
instance
of
water area
No TPTP formula. May not be expressible in strict first order.
Dining.kif 540-556
If
a process
is an
instance
of
catering
and
a cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the process
UST and
the cognitive agent
is
located
at
an object
and
the cognitive agent
is a
customer
of
the process
UST and there exist
another process
,
an entity
and
a third process
such that
the other process
is an
instance
of
cooking
and
the cognitive agent
is an
agent
of
the other process
and
the entity
is a
result
of
the other process
and
the entity
is a
patient
of
the process
and
the third process
is an
instance
of
eating
and
the process
UST is an
agent
of
the third process
and
the third process
is
located
at
2
,
then
the object
is not
equal
to
another entity
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2308-2327
If
an agreement
is an
instance
of
civil affairs agreement
and
the agreement
is a
party
to agreement of
an entity
_MIL_THIS and
the entity
_MIL_THIS is an
instance
of
military organization
and
another entity
_THIS is a
military
of area of
the entity
_MIL_THIS and
the other entity
_THIS is an
instance
of
nation
and
the entity
_MIL_THIS is
located
at
the other entity
_FRIENDLY and
the other entity
_FRIENDLY is an
instance
of
nation
,
then
the other entity
_THIS is not
equal
to
the other entity
_FRIENDLY and
the other entity
_THIS and
the other entity
_FRIENDLY are not enemies of each other and there exists
the entity
_FRIENDLY such that
the entity
_FRIENDLY is
located
at
the other entity
_FRIENDLY and
the agreement
is a
party
to agreement of
the entity
_FRIENDLY and
the entity
_FRIENDLY is not an
instance
of
military organization
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2243-2251
If
a process
is an
instance
of
civil affairs operation
and
the process
is
located
at
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
and
a proposition
is an
instance
of the
regional
law of
the geopolitical area
and
the process
express
es the content of
another proposition
,
then
the other proposition
is a
consistent
of
the proposition
No TPTP formula. May not be expressible in strict first order.
Dining.kif 507-516
If
a process
is an
instance
of
delivery service
and
the process
end
s up at
an entity
and
a geographic area
is the
delivery
area of
an agent
and
probability
of
the entity
is
located
at
the geographic area
provided that
the agent
is an
agent
of
the process
holds is
a real number
and
probability
of
the entity
is not
located
at
the geographic area
provided that
the agent
is an
agent
of
the process
holds is
another real number
,
then
the other real number
is
less
than
the real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11804-11813
If
a process
is an
instance
of
discovering
and
an entity
is a
patient
of
the process
and
the entity
is
located
at
another entity
holds
during
the
time
of existence of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
learning
and
the other process
is a
subprocess
of
the process
and
the entity
is
located
at
the other entity
is a
patient
of
the other process
No TPTP formula. May not be expressible in strict first order.
Cars.kif 509-521
If
an object
is an
instance
of
EngineCylinder
and
a hole
is an
instance
of
Crankcase
and
a physical
is an
instance
of
piston
and
a process
is an
instance
of
two stroke transfer
and
the physical
is
located
at
the object
holds
during
the process
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
2
,
then
the physical
has the purpose
the physical
partially
fill
s
the hole
holds
during
the process
No TPTP formula. May not be expressible in strict first order.
Cars.kif 463-475
If
an object
is an
instance
of
EngineCylinder
and
a hole
is an
instance
of
internal combustion chamber
and
a physical
is an
instance
of
piston
and
a process
is an
instance
of
two stroke intake
and
the physical
is
located
at
the object
holds
during
the process
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
2
,
then
the physical
has the purpose
the physical
partially
fill
s
the hole
holds
during
the process
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2442-2455
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
geopolitical area
and
the entity
is
located
at
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
,
then there exists
the other entity
2 such that
the other entity
2 is an
instance
of
geopolitical area
and
the other entity
1 is not a
geopolitical
part of
the other entity
2 and
the other entity
2 is not a
geopolitical
part of
the other entity
1 and
the entity
is
located
at
the other entity
2 holds
during
the
end
of the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2431-2440
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
geopolitical area
and
the entity
is
located
at
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
,
then
the entity
is not
located
at
the other entity
holds
during
the
end
of the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2466-2476
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
an object
is an
instance
of
geopolitical area
and
a physical
is an
instance
of
geopolitical area
and
the entity
is
located
at
the object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
located
at
the physical
holds
during
the
end
of the
time
of existence of
the process
,
then
the physical
is not
located
at
the object
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.
People.kif 1538-1549
A real number
percent of people in
a geographic area
believe
in
a belief group
if and only if there exist
a collection
and
another collection
such that
a physical
is
located
at
the geographic area
and
the physical
is a
member
of
the belief group
and
the physical
is a
member
of
the collection
and
the real number
1 is a
member
count of
the collection
and
the physical
2 is
located
at
the geographic area
and
the physical
2 is a
member
of
the other collection
and
the real number
2 is a
member
count of
the other collection
and
the real number
and 100 is
equal
to
the real number
1 and
the real number
2
No TPTP formula. May not be expressible in strict first order.
People.kif 1557-1568
A real number
percent
of people in
a geographic area
are
an ethnic group
if and only if there exist
a collection
and
another collection
such that
a physical
is
located
at
the geographic area
and
the physical
is a
member
of
the ethnic group
and
the physical
is a
member
of
the collection
and
the real number
1 is a
member
count of
the collection
and
the physical
2 is
located
at
the geographic area
and
the physical
2 is a
member
of
the other collection
and
the real number
2 is a
member
count of
the other collection
and
the real number
and 100 is
equal
to
the real number
1 and
the real number
2
No TPTP formula. May not be expressible in strict first order.
People.kif 1576-1587
A real number
percent of people in
a geographic area
speak
a language
if and only if there exist
a collection
and
another collection
such that
a sentient agent
is
located
at
the geographic area
and
the sentient agent
is a
member
of
the collection
and
the language
is a
speaks
language of
the sentient agent
and
the real number
1 is a
member
count of
the collection
and
the sentient agent
2 is
located
at
the geographic area
and
the sentient agent
2 is a
member
of
the other collection
and
the real number
2 is a
member
count of
the other collection
and
the real number
and 100 is
equal
to
the real number
1 and
the real number
2
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 182-189
A length measure
is a
length
of broad gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 712-719
A length measure
is a
length
of crude oil pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 210-217
A length measure
is a
length
of dual gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 126-133
A length measure
is a
length
of electrified railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 568-575
A length measure
is a
length
of expressway system of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 154-161
A length measure
is a
length
of multiple track railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 237-244
A length measure
is a
length
of narrow gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 735-742
A length measure
is a
length
of natural gas pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 542-549
A length measure
is a
length
of paved highway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 758-765
A length measure
is a
length
of petroleum product pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 265-272
A length measure
is a
length
of standard gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 294-306
A length measure
is a
length
of unclassified gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 601-608
A length measure
is a
length
of unpaved highway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22731-22733
An object
located
at time
a time position
for
another object
if and only if
the object
is
located
at
the other object
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1277-1287
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.
Transportation.kif 1221-1228
A geographic area
is
total
facility type in area
a class
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.
Transportation.kif 484-491
A length measure
is a
total
length of highway system of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 98-105
A length measure
is a
total
length of railway system of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 685-692
A length measure
is a
total
pipeline in area of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 578-583
If
an agent
can
hold
kinds of
a kind of process
,
then there exists
an object
such that
the object
is an
element
of
belongings
of
the agent
and
the object
is
capable
of doing
a kind of process
as a
located
No TPTP formula. May not be expressible in strict first order.
naics.kif 8120-8130
If
deep sea coastal and great lakes water transportation
is an
attribute
of
a cognitive agent
and
the cognitive agent
is an
instance
of
transportation company
,
then there exist
a service
and
an entity
such that
the service
is an
instance
of
Water Transportation Service
and
the cognitive agent
provides a service during
the service
and
the service
is
located
at
2
and
the entity
is an
instance
of
water area
and
the cognitive agent
is
located
at
north america
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1454-1465
If
duty free
is an
attribute
of
an object
and
the object
is an
instance
of
store
,
then for all
another object
if
a process
is an
instance
of
selling
and
the other object
is a
patient
of
the process
and
the process
is
located
at
the object
and
the other object
is an
instance
of
product
,
then
duty free
is an
attribute
of
the other object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
Media.kif 1918-1918
JesusOfNazareth
is
located
at
palestine
holds
during
the
time
of existence of
JesusOfNazareth
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Media.kif 2551-2551
AalandIslands
is
located
at
baltic sea
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4594-4594
Antarctic circumpolar current
is
located
at
southern ocean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 588-588
French southern and antarctic lands
is
located
at the
directional
subregion of
south
and
indian ocean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 586-586
French southern and antarctic lands
is
located
at
indian ocean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 231-231
Saint helena
is
located
at
south atlantic ocean
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