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
relatedInternalConcept
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 602-606
No TPTP formula. May not be expressible in strict first order.
Merge.kif 599-599
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 600-600
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 597-597
related internal concept
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 598-598
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 323-323
No TPTP formula. May not be expressible in strict first order.
Merge.kif 612-612
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
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49310-49310
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49309-49309
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49308-49308
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Music.kif 540-540
Acid jazz
is
internally
related to
funk music
No TPTP formula. May not be expressible in strict first order.
Music.kif 541-541
Acid jazz
is
internally
related to
hip hop music
No TPTP formula. May not be expressible in strict first order.
Music.kif 539-539
Acid jazz
is
internally
related to
jazz music
No TPTP formula. May not be expressible in strict first order.
Music.kif 571-571
Alternative country
is
internally
related to
country music
No TPTP formula. May not be expressible in strict first order.
Music.kif 578-578
Alternative dance
is
internally
related to
alternative rock
No TPTP formula. May not be expressible in strict first order.
Music.kif 579-579
Alternative dance
is
internally
related to
pop music
No TPTP formula. May not be expressible in strict first order.
Government.kif 4657-4657
American institute in taiwan
is
internally
related to
diplomatic organization
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1909-1909
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 1219-1219
Angry facial expression
is
internally
related to
anger
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1224-1224
Angry facial expression
is
internally
related to
frowning
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1846-1846
Angry voice utterance
is
internally
related to
anger
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1842-1842
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 1910-1910
Arts entertainment and recreation
is
internally
related to
tourism industry
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11506-11506
Attaching
is
internally
related to
putting
No TPTP formula. May not be expressible in strict first order.
Music.kif 595-595
Bebop
is
internally
related to
jazz music
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5640-5640
Begin node
is
internally
related to
initial node
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21854-21854
Biological conception
is
internally
related to
birth
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21855-21855
Biological conception
is
internally
related to
mating
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21853-21853
Biological conception
is
internally
related to
sexual reproduction
No TPTP formula. May not be expressible in strict first order.
Music.kif 606-606
Bluegrass
is
internally
related to
country music
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 15005-15005
Boarding
is
internally
related to
deboarding
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11131-11131
Buying
is
internally
related to
selling
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2825-2825
Carbon dioxide emission
is
internally
related to
vehicular pollution
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