| 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 495-497 | |
| (domain deliveryRegion 1 Agent) | Dining.kif 498-498 | The number 1 argument of deliveryRegion is an instance of agent |
| (domain deliveryRegion 2 GeographicArea) | Dining.kif 499-499 | The number 2 argument of deliveryRegion is an instance of geographic area |
| (instance deliveryRegion BinaryPredicate) | Dining.kif 494-494 | deliveryRegion is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage deliveryRegion "%2 是 %1 的 delivery 区域") | domainEnglishFormat.kif 3231-3231 | |
| (format ChineseTraditionalLanguage deliveryRegion "%2 是 %1 的 delivery 區域") | domainEnglishFormat.kif 3230-3230 | |
| (format EnglishLanguage deliveryRegion "%2 is the delivery area of %1") | domainEnglishFormat.kif 3229-3229 |
| 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 507-516 |
|
| (=> (deliveryRegion ?AGENT ?REGION) (capability DeliveryService agent ?AGENT)) |
Dining.kif 501-503 |
|
|
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