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
serviceRecipient
Sigma KEE - serviceRecipient
serviceRecipient
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22892-22894
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22888-22888
Le nombre 1 argument de
serviceRecipient
est une
instance
de
ServiceProcess
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22889-22889
Le nombre 2 argument de
serviceRecipient
est une
instance
de
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22886-22886
serviceRecipient
est une
instance
de
relation asym�trique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22885-22885
serviceRecipient
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22891-22891
serviceRecipient
est une
instance
de
r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22887-22887
serviceRecipient
est une
instance
de
IntentionalRelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22890-22890
serviceRecipient
est une
sous
-relation de
experiencer
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 235-235
No TPTP formula. May not be expressible in strict first order.
english_format.kif 236-236
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1966-1966
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 236-236
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 52281-52281
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 52280-52280
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 52279-52279
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22903-22908
ServiceProcess
est une
instance
de
ServiceProcess
agent cognitif
agent cognitif
est une
instance
de
agent cognitif
serviceRecipient
ServiceProcess
and
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 2245-2252
ServiceProcess
est une
instance
de
ExecutiveService
humain
objet
and
TemporaryResidence
serviceRecipient
ServiceProcess
and
humain
stays
humain
and
TemporaryResidence
TemporaryResidence
est
situ
� �
objet
ExecutiveLevel
est un
attribut
de
objet
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 2300-2307
ServiceProcess
est une
instance
de
SecretarialService
agent cognitif
agent cognitif
and
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
serviceRecipient
ServiceProcess
and
agent cognitif
agent cognitif
emploie
agent cognitif
ClericalSecretary
est un
attribut
de
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1772-1778
ServiceProcess
est une
instance
de
ServiceProcess
agent cognitif
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
serviceRecipient
ServiceProcess
and
agent cognitif
agent cognitif
est
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14198-14207
Proposition
a un
attribute
ServiceContract
ServiceProcess
Agreement
and
proposition
UST
ServiceProcess
est une
instance
de
ServiceProcess
ServiceProcess
exprime
le contenu de
proposition
serviceProvider
ServiceProcess
and
Agreement
serviceRecipient
ServiceProcess
and
proposition
UST
partyToAgreement
proposition
and
Agreement
partyToAgreement
proposition
and
proposition
UST
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