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
hasOccupation
Sigma KEE - hasOccupation
hasOccupation
appearance as argument number 1
(
documentation
hasOccupation
EnglishLanguage
"(
hasOccupation
?PERSON ?WORK) means that ?PERSON engages in activities of the class ?WORK as a means of earning a living.")
Mid-level-ontology.kif 21393-21394
(
domain
hasOccupation
1
Human
)
Mid-level-ontology.kif 21391-21391
Die Zahl 1 Argument von
hasOccupation
ist ein
fall
von
Human
%n{nicht}
(
domainSubclass
hasOccupation
2
IntentionalProcess
)
Mid-level-ontology.kif 21392-21392
Die Zahl 2 Argument von
hasOccupation
ist eine
teilkategorie
von
IntentionalProcess
%n{nicht}
(
instance
hasOccupation
BinaryPredicate
)
Mid-level-ontology.kif 21390-21390
hasOccupation
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
hasOccupation
"%2 %p{有} %n{没有} %1 的 职业")
domainEnglishFormat.kif 1149-1149
(
format
ChineseTraditionalLanguage
hasOccupation
"%2 %p{有} %n{沒有} %1 的 職業")
domainEnglishFormat.kif 1148-1148
(
format
EnglishLanguage
hasOccupation
"%2 %p{has} %n{does not have} an occupation of %1")
domainEnglishFormat.kif 1147-1147
(
termFormat
ChineseLanguage
hasOccupation
"有职业")
domainEnglishFormat.kif 27540-27540
(
termFormat
ChineseTraditionalLanguage
hasOccupation
"有職業")
domainEnglishFormat.kif 27539-27539
(
termFormat
EnglishLanguage
hasOccupation
"has occupation")
domainEnglishFormat.kif 27538-27538
antecedent
(=>
(
hasOccupation
?PERSON ?WORK)
(
exists
(?INST)
(
and
(
instance
?INST ?WORK)
(
instance
?INST
Working
)
(
agent
?INST ?PERSON))))
Mid-level-ontology.kif 21396-21402
Wenn
hasOccupation
Human
and
** IntentionalProcess
,
dann es gibt
Process
um
** Process
ist ein
fall
von
** IntentionalProcess
%n{nicht} und
** Process
ist ein
fall
von
Working
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht}
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