| appearance as argument number 1 |
|
| s__disjointRelation(s__stays__m,s__home__m)
|
Merge.kif 14378-14378 | |
| s__documentation(s__stays__m,s__ChineseLanguage,'这是 Human 和e Human 的 TemporaryResidence 之间 的关系。')
|
Merge.kif 14383-14384 | |
| s__documentation(s__stays__m,s__EnglishLanguage,'The relation between a Human and a TemporaryResidence of the Human.') | Merge.kif 14381-14382 | |
| s__domain(s__stays__m,1,s__Human)
|
Merge.kif 14379-14379 | |
| s__domain(s__stays__m,2,s__TemporaryResidence)
|
Merge.kif 14380-14380 | |
| s__instance(s__BinaryPredicate,s__SetOrClass)
|
Merge.kif 14377-14377 | |
| s__subrelation(s__stays__m,s__inhabits__m)
|
Merge.kif 14376-14376 |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage,s__stays__m,'%1 stays at %2')
|
domainEnglishFormat.kif 1170-1170 | |
| s__termFormat(s__EnglishLanguage,s__stays__m,'stays')
|
domainEnglishFormat.kif 9625-9625 |
| antecedent |
|
|
| ( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P] : ((s__freeRoomAmenity(V__ROOM,V__OBJ) & s__subclass(V__OBJ,s__Object) & s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__instance(V__O,V__OBJ) & s__located(V__O,V__R) & s__instance(V__P,s__Process) & s__agent(V__P,V__GUEST) & (s__patient(V__P,V__O) | s__instrument(V__P,V__O) | s__resource(V__P,V__O))) => s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL)) )
|
Hotel.kif 333-348 | |
| ( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S] : ((s__freeRoomAmenity(V__ROOM,V__PROC) & s__subclass(V__PROC,s__Process) & s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & (s__instance(V__P,V__PROC) | (s__instance(V__S,V__PROC) & s__subProcess(V__P,V__S))) & s__located(V__P,V__R)) => s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL)) )
|
Hotel.kif 350-363 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 289-308 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2595-2615 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2622-2638 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2645-2660 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 452-463 | |
| ( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P,V__PRICE] : ((s__paidRoomAmenity(V__ROOM,V__OBJ) & s__subclass(V__OBJ,s__Object)) => ((s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__instance(V__O,V__OBJ) & s__located(V__O,V__R) & s__instance(V__P,s__Process) & s__agent(V__P,V__GUEST) & (s__located(V__P,V__O) | s__patient(V__P,V__O) | s__instrument(V__P,V__O) | s__resource(V__P,V__O))) => (s__price(V__P,V__PRICE,V__HOTEL) & s__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar))))) )
|
Hotel.kif 372-392 | |
| ( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S,V__PRICE] : ((s__paidRoomAmenity(V__ROOM,V__PROC) & s__subclass(V__PROC,s__Process)) => ((s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & (s__instance(V__P,V__PROC) | (s__instance(V__S,V__PROC) & s__subProcess(V__P,V__S))) & s__located(V__P,V__R)) => (s__price(V__P,V__PRICE,V__HOTEL) & s__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar))))) )
|
Hotel.kif 394-411 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2887-2898 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 982-988 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1190-1201 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1171-1183 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 995-1003 | |
| ( ! [V__SVC] : (s__instance(V__SVC,s__ExecutiveService) => (? [V__HUMAN,V__LEVEL,V__ROOM] : (s__serviceRecipient(V__SVC,V__HUMAN) & s__stays(V__HUMAN,V__ROOM) & s__located(V__ROOM,V__LEVEL) & s__attribute(V__LEVEL,s__ExecutiveLevel)))) )
|
Hotel.kif 2186-2193 | |
| ( ! [V__SVC] : (s__instance(V__SVC,s__ValetLaundryService) => (? [V__CUST,V__AGENT,V__LOC,V__CLOTHES,V__LAUNDRY,V__PICKUP,V__DELIVERY] : (s__customer(V__CUST,V__AGENT) & s__stays(V__CUST,V__LOC) & s__agent(V__SVC,V__AGENT) & s__instance(V__CLOTHES,s__Clothing) & s__instance(V__PICKUP,s__Getting) & s__located(V__PICKUP,V__LOC) & s__patient(V__PICKUP,V__CLOTHES) & s__agent(V__PICKUP,V__AGENT) & (s__instance(V__LAUNDRY,s__LaundryService) | s__instance(V__LAUNDRY,s__DryCleaningService)) & s__agent(V__LAUNDRY,V__AGENT) & s__patient(V__LAUNDRY,V__CLOTHES) & s__instance(V__DELIVERY,s__DeliveryService) & s__patient(V__DELIVERY,V__CLOTHES) & s__destination(V__DELIVERY,V__LOC) & s__before(s__BeginFn(s__WhenFn(V__PICKUP)) ,s__BeginFn(s__WhenFn(V__LAUNDRY))) & s__before(s__BeginFn(s__WhenFn(V__LAUNDRY)) ,s__BeginFn(s__WhenFn(V__DELIVERY)))))) )
|
Hotel.kif 1771-1792 |
|
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