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
RiffLanguage
Sigma KEE - rangeSubclass
rangeSubclass
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1492-1493
No TPTP formula. May not be expressible in strict first order.
Merge.kif 336-337
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 53-54
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 58-59
No TPTP formula. May not be expressible in strict first order.
Merge.kif 334-334
The number 1 argument of
range subclass
is an
instance
of
function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 335-335
The number 2 argument of
range subclass
is a
subclass
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 333-333
range subclass
is an
instance
of
asymmetric relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 332-332
range subclass
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 329-329
No TPTP formula. May not be expressible in strict first order.
english_format.kif 334-334
No TPTP formula. May not be expressible in strict first order.
french_format.kif 187-187
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 240-240
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2007-2007
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 139-139
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 433-433
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 278-278
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 207-207
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 198-198
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 432-432
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 330-330
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 48766-48766
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 48765-48765
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 48764-48764
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 339-343
If the values returned by
a function
are
subclasses
of
a kind of class
and
the function
(@ROW) is
equal
to
another class
,
then
the other class
is a
subclass
of
a kind of class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 351-357
If the values returned by
a function
are
subclasses
of
a kind of class
and the values returned by
the function
are
subclasses
of
another kind of class
,
then
a kind of class
is a
subclass
of
another kind of class
or
the other kind of class
is a
subclass
of
the kind of class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 440-445
If the values returned by
a function
are
subclasses
of
a kind of class
and the values returned by
another function
are
subclasses
of
another kind of class
and
a kind of class
is
disjoint
from
another kind of class
,
then
the function
and
the other function
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 345-349
If
a function
is a
subrelation
of
another function
and the values returned by
the other function
are
subclasses
of
a kind of class
,
then the values returned by
the function
are
subclasses
of
a kind of class
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 345-349
If
a function
is a
subrelation
of
another function
and the values returned by
the other function
are
subclasses
of
a kind of class
,
then the values returned by
the function
are
subclasses
of
a kind of class
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
WMD.kif 88-88
The values returned by
Agent of organism fn
are
subclasses
of
biological agent
No TPTP formula. May not be expressible in strict first order.
Music.kif 932-932
The values returned by
album copies function
are
subclasses
of
data storage device
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1776-1776
The values returned by
attr
are
subclasses
of
object
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6235-6235
The values returned by
BodyAreaFn
are
subclasses
of
body part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15019-15019
The values returned by
Body side fn
are
subclasses
of
body part
No TPTP formula. May not be expressible in strict first order.
Government.kif 639-639
The values returned by
constitution
are
subclasses
of
constitution
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29777-29777
The values returned by
Covering fn
are
subclasses
of
wearable item
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6073-6073
The values returned by
cut set
are
subclasses
of
graph path
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8626-8626
The values returned by
day
are
subclasses
of
day
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18555-18555
The values returned by
Dead fn
are
subclasses
of
organism remains
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30655-30655
The values returned by
Demonym fn
are
subclasses
of
national person
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3013-3013
The values returned by
document
are
subclasses
of
text
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10007-10007
The values returned by
edema
are
subclasses
of
swelling
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15556-15556
The values returned by
edition
are
subclasses
of
content bearing object
No TPTP formula. May not be expressible in strict first order.
Government.kif 1650-1650
The values returned by
election
are
subclasses
of
election
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4515-4515
The values returned by
failure fn
are
subclasses
of
process
No TPTP formula. May not be expressible in strict first order.
Food.kif 3668-3668
The values returned by
farm of product fn
are
subclasses
of
cultivated land area
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3698-3698
The values returned by
fiscal year
are
subclasses
of
time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14905-14905
The values returned by
food for fn
are
subclasses
of
self connected object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6915-6915
The values returned by
geographic part type fn
are
subclasses
of
geographic area
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6057-6057
The values returned by
graph path
are
subclasses
of
graph path
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8651-8651
The values returned by
hour
are
subclasses
of
hour
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13516-13516
The values returned by
impairment
are
subclasses
of
biological process
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6586-6586
The values returned by
interval
are
subclasses
of
constant quantity
No TPTP formula. May not be expressible in strict first order.
Food.kif 2600-2600
The values returned by
juice of fn
are
subclasses
of
juice
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