TreeView Knowledge Base Browser - accommodationProvider

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

accommodationProvider

Sigma KEE - accommodationProvider

accommodationProvider

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2760-2762
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2765-2765	The number 1 argument of accommodations provider is an instance of hotel package
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2766-2766	The number 2 argument of accommodations provider is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2759-2759	accommodations provider is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2670-2670
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2669-2669
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2668-2668
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2763-2763

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2768-2770	If an organization provides a hotel package, then traveler accommodation is an attribute of the organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2744-2757	If a cognitive agent authored a hotel package and the hotel package is an instance of hotel package and an organization provides the hotel package and the hotel package specifies an integer days stay at a kind of hotel unit and an entity is an instance of a kind of hotel unit and the entity is an element of belongings of the organization and another cognitive agent buys the hotel package from the cognitive agent, then there exists a time position such that the time position is equal to the integer day duration(s) and the other cognitive agent is a guest at the organization holds during the time position

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