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
workAddress
Sigma KEE - workAddress
workAddress
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23219-23222
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23223-23223
The number 1 argument of
work address
is an
instance
of
postal place
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23224-23224
The number 2 argument of
work address
is an
instance
of
cognitive agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23217-23217
work address
is an
instance
of
asymmetric relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23216-23216
work address
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23218-23218
work address
is a
subrelation
of
post contact site
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2634-2634
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2633-2633
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2632-2632
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 63453-63453
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 63452-63452
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 63451-63451
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