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

Formal Language: 



KB Term:  Term intersection
English Word: 

  deliveryRegion

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 499-501
(domain deliveryRegion 1 Agent) Dining.kif 502-502 The number 1 argument of deliveryRegion is an instance of agent
(domain deliveryRegion 2 GeographicArea) Dining.kif 503-503 The number 2 argument of deliveryRegion is an instance of geographic area
(instance deliveryRegion BinaryPredicate) Dining.kif 498-498 deliveryRegion is an instance of binary predicate

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


(format EnglishLanguage deliveryRegion "%2 is the delivery area of %1") domainEnglishFormat.kif 816-816

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 511-520
(=>
    (deliveryRegion ?AGENT ?REGION)
    (capability DeliveryService agent ?AGENT))
Dining.kif 505-507


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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