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
successorAttribute
Sigma KEE - successorAttribute
successorAttribute
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1536-1537
No TPTP formula. May not be expressible in strict first order.
Merge.kif 707-709
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 102-103
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 119-121
No TPTP formula. May not be expressible in strict first order.
Merge.kif 704-704
The number 1 argument of
successor attribute
is an
instance
of
attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 705-705
The number 2 argument of
successor attribute
is an
instance
of
attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 703-703
successor attribute
is an
instance
of
asymmetric relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 702-702
successor attribute
is an
instance
of
binary predicate
appearance as argument number 2
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 323-323
No TPTP formula. May not be expressible in strict first order.
english_format.kif 328-328
No TPTP formula. May not be expressible in strict first order.
french_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 286-286
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2004-2004
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 136-136
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 195-195
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 425-425
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 323-323
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 204-204
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 194-194
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 478-478
No TPTP formula. May not be expressible in strict first order.
Merge.kif 732-732
successor attribute closure
is
internally
related to
successor attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9022-9022
successor class
is
internally
related to
successor attribute
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 324-324
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55885-55885
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55884-55884
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55883-55883
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 739-741
If
an attribute
is an immediate
successor
attribute
of
another attribute
,
then
the attribute
is a
successor
attribute
of
the other attribute
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Weather.kif 373-373
Beaufort number 0
is an immediate
successor
attribute
of
Beaufort number 1
No TPTP formula. May not be expressible in strict first order.
Weather.kif 382-382
Beaufort number 1
is an immediate
successor
attribute
of
Beaufort number 2
No TPTP formula. May not be expressible in strict first order.
Weather.kif 464-464
Beaufort number 10
is an immediate
successor
attribute
of
Beaufort number 11
No TPTP formula. May not be expressible in strict first order.
Weather.kif 473-473
Beaufort number 11
is an immediate
successor
attribute
of
Beaufort number 12
No TPTP formula. May not be expressible in strict first order.
Weather.kif 391-391
Beaufort number 2
is an immediate
successor
attribute
of
Beaufort number 3
No TPTP formula. May not be expressible in strict first order.
Weather.kif 401-401
Beaufort number 3
is an immediate
successor
attribute
of
Beaufort number 4
No TPTP formula. May not be expressible in strict first order.
Weather.kif 410-410
Beaufort number 4
is an immediate
successor
attribute
of
Beaufort number 5
No TPTP formula. May not be expressible in strict first order.
Weather.kif 419-419
Beaufort number 5
is an immediate
successor
attribute
of
Beaufort number 6
No TPTP formula. May not be expressible in strict first order.
Weather.kif 428-428
Beaufort number 6
is an immediate
successor
attribute
of
Beaufort number 7
No TPTP formula. May not be expressible in strict first order.
Weather.kif 437-437
Beaufort number 7
is an immediate
successor
attribute
of
Beaufort number 8
No TPTP formula. May not be expressible in strict first order.
Weather.kif 446-446
Beaufort number 8
is an immediate
successor
attribute
of
Beaufort number 9
No TPTP formula. May not be expressible in strict first order.
Weather.kif 455-455
Beaufort number 9
is an immediate
successor
attribute
of
Beaufort number 10
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25708-25708
Cold
is an immediate
successor
attribute
of
cool
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25714-25714
Cool
is an immediate
successor
attribute
of
warm
No TPTP formula. May not be expressible in strict first order.
Economy.kif 517-517
Country in transition
is an immediate
successor
attribute
of
advanced economy
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1001-1001
Deluxe room
is an immediate
successor
attribute
of
suite
No TPTP formula. May not be expressible in strict first order.
Economy.kif 516-516
Developing country
is an immediate
successor
attribute
of
country in transition
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2150-2150
EF0
is an immediate
successor
attribute
of
EF1
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2158-2158
EF1
is an immediate
successor
attribute
of
EF2
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2166-2166
EF2
is an immediate
successor
attribute
of
EF3
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2174-2174
EF3
is an immediate
successor
attribute
of
EF4
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2182-2182
EF4
is an immediate
successor
attribute
of
EF5
No TPTP formula. May not be expressible in strict first order.
Economy.kif 187-187
Former soviet or eastern european country
is an immediate
successor
attribute
of
developed country
No TPTP formula. May not be expressible in strict first order.
Economy.kif 209-209
Less developed country
is an immediate
successor
attribute
of
former soviet or eastern european country
No TPTP formula. May not be expressible in strict first order.
Economy.kif 426-426
Low income country
is an immediate
successor
attribute
of
lower middle income country
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