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
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 619-623
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 616-616
域
相關的內部概念
, 1 and
Entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 617-617
域
相關的內部概念
, 2 and
Entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 614-614
例
相關的內部概念
and
BinaryPredicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 615-615
例
相關的內部概念
and
EquivalenceRelation
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 629-629
相關的內部概念
相關的外部概念
and
相關的內部概念
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 49316-49316
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49315-49315
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49314-49314
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Music.kif 544-544
相關的內部概念
AcidJazz
and
FunkMusic
No TPTP formula. May not be expressible in strict first order.
Music.kif 545-545
相關的內部概念
AcidJazz
and
HipHopMusic
No TPTP formula. May not be expressible in strict first order.
Music.kif 543-543
相關的內部概念
AcidJazz
and
JazzMusic
No TPTP formula. May not be expressible in strict first order.
Music.kif 575-575
相關的內部概念
AlternativeCountry
and
CountryMusic
No TPTP formula. May not be expressible in strict first order.
Music.kif 582-582
相關的內部概念
AlternativeDance
and
AlternativeRock
No TPTP formula. May not be expressible in strict first order.
Music.kif 583-583
相關的內部概念
AlternativeDance
and
PopMusic
No TPTP formula. May not be expressible in strict first order.
Government.kif 4726-4726
相關的內部概念
台灣美國研究所
and
外交組織
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1905-1905
相關的內部概念
娛樂賭博和娛樂業
and
旅遊產業
No TPTP formula. May not be expressible in strict first order.
emotion.kif 735-735
相關的內部概念
憤怒
and
Contempt
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1237-1237
相關的內部概念
AngryFacialExpression
and
憤怒
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1242-1242
相關的內部概念
AngryFacialExpression
and
皺著眉頭
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1942-1942
相關的內部概念
AngryVoiceUtterance
and
憤怒
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1938-1938
相關的內部概念
AngryVoiceUtterance
and
SpeakingLoudly
No TPTP formula. May not be expressible in strict first order.
emotion.kif 54-54
相關的內部概念
Appraisal
and
AppraisalProcess
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1906-1906
相關的內部概念
藝術娛樂和遊藝
and
旅遊產業
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12349-12349
相關的內部概念
Attaching
and
Putting
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6480-6480
相關的內部概念
BalsaTree
and
BalsaWood
No TPTP formula. May not be expressible in strict first order.
Music.kif 599-599
相關的內部概念
Bebop
and
JazzMusic
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6485-6485
相關的內部概念
BeechTree
and
BeechWood
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5944-5944
相關的內部概念
開始節點
and
初始節點
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24043-24043
相關的內部概念
生物學概念
and
Birth
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24044-24044
相關的內部概念
生物學概念
and
交配
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24042-24042
相關的內部概念
生物學概念
and
SexualReproduction
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6490-6490
相關的內部概念
BirchTree
and
BirchWood
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6495-6495
相關的內部概念
BlackCherryTree
and
CherryWood
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