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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 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


        (instance ?D DeliveryService)
        (destination ?D ?LOC1)
        (deliveryRegion ?AGENT ?REGION)
            (located ?LOC1 ?REGION)
            (agent ?D ?AGENT) ?NUMBER1)
                (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