Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
subAttribute
Sigma KEE - subAttribute
subAttribute
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Merge.kif 684-684
sub attribute
and
successor attribute
are
disjoint
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1534-1535
No TPTP formula. May not be expressible in strict first order.
Merge.kif 686-687
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 100-101
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 117-118
No TPTP formula. May not be expressible in strict first order.
Merge.kif 682-682
The number 1 argument of
sub attribute
is an
instance
of
attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 683-683
The number 2 argument of
sub attribute
is an
instance
of
attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 680-680
sub attribute
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 681-681
sub attribute
is an
instance
of
partial ordering relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 317-317
No TPTP formula. May not be expressible in strict first order.
english_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.
french_format.kif 181-181
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 270-270
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2001-2001
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 133-133
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 194-194
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 416-416
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 307-307
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 201-201
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 191-191
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 462-462
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 318-318
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55691-55691
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55690-55690
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 4582-4590
If
a nation
diplomatic
representation type
a position
for
an agent
and
the position
is a
subattribute
of
diplomatic agent
,
then there exists
a human
such that
the human
is an
instance
of
human
and
the human
is a
citizen
of
the nation
and
the nation
is
diplomatic
representative in role
the human
for
the position
with
the agent
No TPTP formula. May not be expressible in strict first order.
Government.kif 352-357
If
a form of government
is a
government
type of
a geopolitical area
and
the form of government
is a
subattribute
of
theocratic government
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
is an
instance
of
religious organization
No TPTP formula. May not be expressible in strict first order.
Government.kif 345-350
If
a form of government
is a
government
type of
an agent
and
the form of government
is a
subattribute
of
theocratic government
and
the agent
is an
instance
of
organization
,
then
the agent
is an
instance
of
religious organization
No TPTP formula. May not be expressible in strict first order.
Government.kif 256-264
If
a form of government
is a
government
type of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
and
the form of government
is a
subattribute
of
parliamentary government
,
then there exists
an organization
such that
the organization
is an
instance
of
parliament
and
the organization
is a part of the organization the
government
of
the geopolitical area
No TPTP formula. May not be expressible in strict first order.
Government.kif 4621-4629
If
an agent
is an
instance
of
nation
and
another agent
is an
instance
of
nation
and
a third agent
is an
instance
of
human
and
a position
is an
attribute
of
the third agent
and
the position
is a
subattribute
of
diplomatic agent
and
the agent
is
representative
agent to agent
the third agent
for
the other agent
,
then
the agent
diplomatic
representation type
the position
for
the other agent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2602-2606
If
an area of concern
is an
organizational
objective of
an agent
and
the area of concern
is a
subattribute
of
another area of concern
,
then
the other area of concern
is an
organizational
objective of
the agent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 696-700
If
an attribute
is a
subattribute
of
another attribute
and
the other attribute
is an
instance
of
a class
,
then
the attribute
is an
instance
of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 689-694
If
an attribute
is a
subattribute
of
another attribute
,
then for all
an entity
if
the entity
the
attribute
the attribute
,
then
the entity
the
attribute
the other attribute
consequent
No TPTP formula. May not be expressible in strict first order.
Government.kif 4557-4563
If
a geopolitical area
is a
diplomatic
relations of
another geopolitical area
,
then there exists
a position
such that
the position
is an
instance
of
foreign service position
and
the position
is a
subattribute
of
diplomatic agent
and
the other geopolitical area
diplomatic
representation type
the position
for
the geopolitical area
No TPTP formula. May not be expressible in strict first order.
Government.kif 4565-4571
If
a geopolitical area
is a
diplomatic
relations of
another geopolitical area
,
then there exists
a position
such that
the position
is an
instance
of
foreign service position
and
the position
is a
subattribute
of
diplomatic agent
and
the geopolitical area
diplomatic
representation type
the position
for
the other geopolitical area
No TPTP formula. May not be expressible in strict first order.
Government.kif 4408-4410
If
an attribute
is an
instance
of
foreign service position
,
then
the attribute
is a
subattribute
of
diplomatic agent
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2899-2899
AON order
is a
subattribute
of
financial order
No TPTP formula. May not be expressible in strict first order.
naics.kif 3894-3894
Abrasive product manufacturing
is a
subattribute
of
other nonmetallic mineral product manufacturing
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1524-1524
Abruzzese Cuisine
is a
subattribute
of
Italian Cuisine
No TPTP formula. May not be expressible in strict first order.
Government.kif 327-327
Absolute monarchy
is a
subattribute
of
authoritarian regime
No TPTP formula. May not be expressible in strict first order.
Government.kif 240-240
Absolute monarchy
is a
subattribute
of
monarchy
No TPTP formula. May not be expressible in strict first order.
naics.kif 11559-11559
Accommodation
is a
subattribute
of
accommodation and food services
No TPTP formula. May not be expressible in strict first order.
naics.kif 9900-9900
Accounting tax preparation bookkeeping and payroll services
is a
subattribute
of
professional scientific and technical services
No TPTP formula. May not be expressible in strict first order.
Government.kif 4440-4440
Acting consul general
is a
subattribute
of
consul general
No TPTP formula. May not be expressible in strict first order.
naics.kif 9289-9289
Activities related to credit intermediation
is a
subattribute
of
credit intermediation and related activities
No TPTP formula. May not be expressible in strict first order.
naics.kif 9647-9647
Activities related to real estate
is a
subattribute
of
real estate industry
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18808-18808
Actor
is a
subattribute
of
performer
No TPTP formula. May not be expressible in strict first order.
Biography.kif 353-353
Actuary
is a
subattribute
of
scientist
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6030-6030
Acute bronchitis
is a
subattribute
of
bronchitis
No TPTP formula. May not be expressible in strict first order.
naics.kif 3387-3387
Adhesive manufacturing
is a
subattribute
of
paint coating and adhesive manufacturing
No TPTP formula. May not be expressible in strict first order.
naics.kif 12355-12355
Administration of air and water resource and solid waste management programs
is a
subattribute
of
administration of environmental quality programs
No TPTP formula. May not be expressible in strict first order.
naics.kif 12364-12364
Administration of conservation programs
is a
subattribute
of
administration of environmental quality programs
No TPTP formula. May not be expressible in strict first order.
naics.kif 12395-12395
Administration of economic programs
is a
subattribute
of
public administration
No TPTP formula. May not be expressible in strict first order.
naics.kif 12317-12317
Administration of education programs
is a
subattribute
of
administration of human resource programs
No TPTP formula. May not be expressible in strict first order.
naics.kif 12348-12348
Administration of environmental quality programs
is a
subattribute
of
public administration
No TPTP formula. May not be expressible in strict first order.
naics.kif 12401-12401
Administration of general economic programs
is a
subattribute
of
administration of economic programs
No TPTP formula. May not be expressible in strict first order.
naics.kif 12379-12379
Administration of housing programs
is a
subattribute
of
administration of housing programs urban planning and community development
No TPTP formula. May not be expressible in strict first order.
naics.kif 12371-12371
Administration of housing programs urban planning and community development
is a
subattribute
of
public administration
No TPTP formula. May not be expressible in strict first order.
naics.kif 12311-12311
Administration of human resource programs
is a
subattribute
of
public administration
No TPTP formula. May not be expressible in strict first order.
naics.kif 12331-12331
Administration of human resource programs except education public health and veterans affairs programs
is a
subattribute
of
administration of human resource programs
No TPTP formula. May not be expressible in strict first order.
naics.kif 12324-12324
Administration of public health programs
is a
subattribute
of
administration of human resource programs
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