Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - deliveryRegion
deliveryRegion

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
(domain deliveryRegion 2 GeographicArea) Dining.kif 544-544
(instance deliveryRegion BinaryPredicate) Dining.kif 539-539

appearance as argument number 2
-------------------------


(format ChineseLanguage deliveryRegion "%2 是 %1 的 delivery 区域") domainEnglishFormat.kif 3226-3226
(format ChineseTraditionalLanguage deliveryRegion "%2 是 %1 的 delivery 區域") domainEnglishFormat.kif 3225-3225
(format EnglishLanguage deliveryRegion "%2 is the delivery area of %1") domainEnglishFormat.kif 3224-3224
(termFormat EnglishLanguage deliveryRegion "delivery region") domainEnglishFormat.kif 65807-65807

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