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 22892-22894
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22888-22888	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 22889-22889	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 22886-22886	service recipient is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22885-22885	service recipient is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22891-22891	service recipient is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22887-22887	service recipient is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22890-22890	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 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	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 14198-14207	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