Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - serviceRecipient
serviceRecipient

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20772-20774
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20768-20768 The number 1 argument of service recipient is an instance of service
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20769-20769 The number 2 argument of service recipient is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20766-20766 service recipient is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20765-20765 service recipient is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20771-20771 service recipient is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20767-20767 service recipient is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20770-20770 service recipient is a subrelation of 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 239-239
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 236-236 "受服务者" is the printable form of service recipient in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52219-52219 "服务接收者" is the printable form of service recipient in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52218-52218 "服務接收者" is the printable form of service recipient in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52217-52217 "service recipient" is the printable form of service recipient in english language

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20785-20790
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2191-2198
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2246-2253
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1720-1726
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11820-11829


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners