| appearance as argument number 1 |
|
| s__documentation(s__accommodationProvider__m,s__EnglishLanguage,'"(accommodationProvider ?PKG ?ORG) means that ?ORG, which is a TravelerAccommodation business, will provide the accommodations for the HotelPackage ?PKG"')
|
Hotel.kif 2702-2704 | |
| s__domain(s__accommodationProvider__m,n__1,s__HotelPackage)
|
Hotel.kif 2707-2707 | The number 1 argument of accommodations provider is an instance of hotel package |
| s__domain(s__accommodationProvider__m,n__2,s__Organization)
|
Hotel.kif 2708-2708 | The number 2 argument of accommodations provider is an instance of organization |
| s__instance(s__accommodationProvider__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)
|
Hotel.kif 2701-2701 | accommodations provider is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__accommodationProvider__m,'"%2 provides %1 "')
|
domainEnglishFormat.kif 2667-2667 | |
| s__format(s__ChineseTraditionalLanguage,s__accommodationProvider__m,'"%2 provides %1 "')
|
domainEnglishFormat.kif 2666-2666 | |
| s__format(s__EnglishLanguage,s__accommodationProvider__m,'"%2 provides %1"')
|
domainEnglishFormat.kif 2665-2665 | |
| s__termFormat(s__EnglishLanguage,s__accommodationProvider__m,'"accommodations provider"')
|
Hotel.kif 2705-2705 |
| antecedent |
|
|
| ( ! [V__PKG,V__HOTEL] : ((s__instance(V__PKG,s__HotelPackage) & s__instance(V__HOTEL,s__Organization)) => s__accommodationProvider(V__PKG,V__HOTEL) => s__attribute(V__HOTEL,s__TravelerAccommodation) ) )
|
Hotel.kif 2710-2712 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2687-2699 |
|
|
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