| appearance as argument number 1 |
|
| (documentation deliveryRegion EnglishLanguage "(deliveryRegion ?AGENT ?REGION ?DELIVERY) means that ?AGENT only does a DeliveryService if the destination is within ?REGION") | Dining.kif 540-542 | |
| (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 |
| (instance deliveryRegion BinaryPredicate) | Dining.kif 539-539 | delivery region is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage deliveryRegion "%2 是 %1 的 delivery 区域") | domainEnglishFormat.kif 3218-3218 | |
| (format ChineseTraditionalLanguage deliveryRegion "%2 是 %1 的 delivery 區域") | domainEnglishFormat.kif 3217-3217 | |
| (format EnglishLanguage deliveryRegion "%2 is the delivery area of %1") | domainEnglishFormat.kif 3216-3216 | |
| (termFormat EnglishLanguage deliveryRegion "delivery region") | domainEnglishFormat.kif 65856-65856 |
| antecedent |
|
|
| (=> (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 |
|
| (=> (deliveryRegion ?AGENT ?REGION) (capability DeliveryService agent ?AGENT)) |
Dining.kif 546-548 |
|
|
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 3.0 is open source software produced by Articulate Software and its partners