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
exhaustiveAttribute
Sigma KEE - exhaustiveAttribute
exhaustiveAttribute
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1507-1510
No TPTP formula. May not be expressible in strict first order.
Merge.kif 491-495
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 71-75
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 82-86
No TPTP formula. May not be expressible in strict first order.
Merge.kif 489-489
域
詳盡的屬性
, 2 and
Attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 488-488
域子類
詳盡的屬性
, 1 and
Attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 486-486
例
詳盡的屬性
and
Predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 487-487
例
詳盡的屬性
and
VariableArityRelation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3342-3342
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3341-3341
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3340-3340
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22768-22768
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22767-22767
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22766-22766
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 503-507
@ROW 是所有的
Attribute
的
attributes
在列表中
Entity
and
名單
@ROW
例
Entity
and
Attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 497-501
@ROW 是所有的
Attribute
的
attributes
在列表中
Entity
and
名單
@ROW
例
Entity
and
Attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 519-531
@ROW 是所有的
Attribute
的
attributes
Entity
例
Entity
and
Attribute
Entity
PositiveInteger
等於
Entity
and
Entity
等於
Entity
and
清單順序
名單
@ROW and
PositiveInteger
No TPTP formula. May not be expressible in strict first order.
Merge.kif 509-517
@ROW 是所有的
Attribute
的
attributes
Entity
例
Entity
and
Attribute
Entity
在列表中
Entity
and
名單
@ROW
等於
Entity
and
Entity
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18078-18078
活的
是所有的
AnimacyAttribute
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 285-286
AppraisalAsAvoidableConsequences
是所有的
AppraisalOfAvoidabilityOfConsequences
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 596-598
AppraisalAsCausedSupernaturally
是所有的
AppraisalOfCausalAgency
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 671-672
AppraisalAsUnintended
是所有的
AppraisalOfCausalIntent
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 461-462
AppraisalAsCongruentWithIdeals
是所有的
AppraisalOfCongruenceWithIdeals
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 552-553
AppraisalAsNotDangerous
是所有的
AppraisalOfDangerousness
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 397-398
AppraisalAsDesirableConsequences
是所有的
AppraisalOfDesirabilityOfConsequences
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 529-530
AppraisalAsExpected
是所有的
AppraisalOfExpectedness
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 314-315
AppraisalAsFamiliar
是所有的
AppraisalOfFamiliarity
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 213-214
EvaluationAsImportantToGoals
是所有的
AppraisalOfGoalImportance
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 337-338
AppraisalAsUnjustTreatment
是所有的
AppraisalOfJusticeOfTreatment
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 495-496
AppraisalAsPleasant
是所有的
AppraisalOfPleasantness
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 240-241
AppraisalAsPredictable
是所有的
AppraisalOfPredictability
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 640-642
AppraisalAsBeingAtTheCentreOfAttention
是所有的
AppraisalOfSocialAttention
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 575-576
AppraisalAsSudden
是所有的
AppraisalOfSuddenness
的
attributes
No TPTP formula. May not be expressible in strict first order.
emotion.kif 427-428
AppraisalAsNotUrgentResponse
是所有的
AppraisalOfUrgency
的
attributes
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18136-18136
完全成型
是所有的
DevelopmentalAttribute
的
attributes
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1831-1831
高流動性
是所有的
流動性屬性
的
attributes
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17543-17543
固體
是所有的
PhysicalState
的
attributes
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1851-1851
高風險
是所有的
風險屬性
的
attributes
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18105-18105
女
是所有的
SexAttribute
的
attributes
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4069-4069
火山活躍
是所有的
火山狀況
的
attributes
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1869-1869
高產
是所有的
屈服屬性
的
attributes
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