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 20771-20773
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20767-20767 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 20768-20768 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 20765-20765 service recipient is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20764-20764 service recipient is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20770-20770 service recipient is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20766-20766 service recipient is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20769-20769 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 144-144
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 9137-9137 "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 20784-20789
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2186-2193
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2241-2248
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1716-1722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11815-11824


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