TreeView Knowledge Base Browser - serviceRecipient

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 22944-22946
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22940-22940	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 22941-22941	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 22938-22938	service recipient is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22937-22937	service recipient is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22943-22943	service recipient is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22939-22939	service recipient is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22942-22942	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 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 52283-52283
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52282-52282
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52281-52281

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22955-22960	If a service is an instance of service, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent receives a service during the service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2245-2252	If a service is an instance of executive service, then there exist a human, an object and a temporary residence such that the human receives a service during the service and the human stays at the temporary residence and the temporary residence is located at the object and executive level is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2300-2307	If a service is an instance of secretarial service, then there exist a cognitive agent, another cognitive agent and a third cognitive agent such that the cognitive agent provides a service during the service and the other cognitive agent receives a service during the service and the cognitive agent employs the third cognitive agent and clerical secretary is an attribute of the third cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1772-1778	If a service is an instance of service, then there exist a cognitive agent and another cognitive agent such that the cognitive agent provides a service during the service and the other cognitive agent receives a service during the service and the cognitive agent is not equal to the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14225-14234	If a proposition the attribute service contract, then there exist a service, an agreement and the propositionUST such that the service is an instance of service and the service expresses the content of the proposition and the agreement provides a service during the service and the propositionUST receives a service during the service and the agreement is a party to agreement of the proposition and the propositionUST is a party to agreement of the proposition

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