Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| deliveryRegion |
| appearance as argument number 1 |
|
| (instance deliveryRegion BinaryPredicate) | Dining.kif 539-539 | delivery region is an instance of binary predicate |
| (documentation deliveryRegion EnglishLanguage "(deliveryRegion ?AGENT ?REGION ?DELIVERY) means that ?AGENT only does a DeliveryService if the destination is within ?REGION") | Dining.kif 540-542 | delivery region is an instance of binary predicate |
| (domain deliveryRegion 1 AutonomousAgent) | Dining.kif 543-543 | The number 1 argument of delivery region is an instance of agent |
| (domain deliveryRegion 2 GeographicArea) | Dining.kif 544-544 | The number 2 argument of delivery region is an instance of geographic area |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage deliveryRegion "%2 is the delivery area of %1") | domainEnglishFormat.kif 3220-3220 | |
| (format ChineseTraditionalLanguage deliveryRegion "%2 是 %1 的 delivery 區域") | domainEnglishFormat.kif 3221-3221 | |
| (format ChineseLanguage deliveryRegion "%2 是 %1 的 delivery 区域") | domainEnglishFormat.kif 3222-3222 | |
| (termFormat EnglishLanguage deliveryRegion "delivery region") | domainEnglishFormat.kif 65816-65816 |
| antecedent |
|
|
| (=> (deliveryRegion ?AGENT ?REGION) (capability DeliveryService agent ?AGENT)) |
Dining.kif 546-548 | If X is the delivery area of Y, then Y is capable of doing delivery service as a agent |
| (=> (and (instance ?D DeliveryService) (destination ?D ?LOC1) (deliveryRegion ?AGENT ?REGION) (conditionalProbability (located ?LOC1 ?REGION) (agent ?D ?AGENT) ?NUMBER1) (conditionalProbability (not (located ?LOC1 ?REGION)) (agent ?D ?AGENT) ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1)) |
Dining.kif 552-561 | If X is an instance of delivery service, X ends up at Y, Z is the delivery area of W, probability of Y is located at Z provided that W is an agent of X holds is V, and probability of Y is not located at Z provided that W is an agent of X holds is U, then U is less than V |
|