Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Funding
Sigma KEE - relatedInternalConcept
relatedInternalConcept
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1519-1521
No TPTP formula. May not be expressible in strict first order.
Merge.kif 612-616
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 85-87
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 97-100
No TPTP formula. May not be expressible in strict first order.
Merge.kif 609-609
The number 1 argument of
related internal concept
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 610-610
The number 2 argument of
related internal concept
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 607-607
related internal concept
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 608-608
related internal concept
is an
instance
of
equivalence relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 315-315
No TPTP formula. May not be expressible in strict first order.
english_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.
french_format.kif 180-180
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 249-249
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2000-2000
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 188-188
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 413-413
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 287-287
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 200-200
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 190-190
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 441-441
No TPTP formula. May not be expressible in strict first order.
Merge.kif 622-622
related external concept
is
internally
related to
related internal concept
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 316-316
related external concept
is
internally
related to
related internal concept
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49320-49320
related external concept
is
internally
related to
related internal concept
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49319-49319
related external concept
is
internally
related to
related internal concept
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49318-49318
related external concept
is
internally
related to
related internal concept
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 131-131
related external concept
is
internally
related to
related internal concept
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Music.kif 546-546
Acid jazz
is
internally
related to
funk music
No TPTP formula. May not be expressible in strict first order.
Music.kif 547-547
Acid jazz
is
internally
related to
hip hop music
No TPTP formula. May not be expressible in strict first order.
Music.kif 545-545
Acid jazz
is
internally
related to
jazz music
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 2091-2091
Adducting
is
internally
related to
abducting
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2830-2830
Ally
is
internally
related to
militarily secure
No TPTP formula. May not be expressible in strict first order.
Music.kif 577-577
Alternative country
is
internally
related to
country music
No TPTP formula. May not be expressible in strict first order.
Music.kif 584-584
Alternative dance
is
internally
related to
alternative rock
No TPTP formula. May not be expressible in strict first order.
Music.kif 585-585
Alternative dance
is
internally
related to
pop music
No TPTP formula. May not be expressible in strict first order.
Government.kif 4687-4687
American institute in taiwan
is
internally
related to
diplomatic organization
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2030-2030
Amusement gambling and recreation industries
is
internally
related to
tourism industry
No TPTP formula. May not be expressible in strict first order.
emotion.kif 735-735
Anger
is
internally
related to
contempt
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1237-1237
Angry facial expression
is
internally
related to
anger
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1242-1242
Angry facial expression
is
internally
related to
frowning
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1942-1942
Angry voice utterance
is
internally
related to
anger
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1938-1938
Angry voice utterance
is
internally
related to
speaking loudly
No TPTP formula. May not be expressible in strict first order.
emotion.kif 54-54
Appraisal
is
internally
related to
appraisal process
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2031-2031
Arts entertainment and recreation
is
internally
related to
tourism industry
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12499-12499
Attaching
is
internally
related to
putting
No TPTP formula. May not be expressible in strict first order.
Merge.kif 893-893
Back
is
internally
related to
front
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6783-6783
Balsa tree
is
internally
related to
Balsa wood
No TPTP formula. May not be expressible in strict first order.
Music.kif 601-601
Bebop
is
internally
related to
jazz music
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6788-6788
Beech tree
is
internally
related to
Beech wood
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5969-5969
Begin node
is
internally
related to
initial node
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 3239-3239
Bidirectional traffic
is
internally
related to
unidirectional traffic
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25689-25689
Biological conception
is
internally
related to
birth
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