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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vending

Sigma KEE - Vending
Vending

appearance as argument number 1
-------------------------


(documentation Vending EnglishLanguage "A FinancialTransaction in which the seller is a Machine") Mid-level-ontology.kif 1899-1900
(subclass Vending FinancialTransaction) Mid-level-ontology.kif 1898-1898

antecedent
-------------------------


(=>
    (and
        (instance ?V Vending)
        (objectTransferred ?V ?O)
        (not
            (instance ?O Currency)))
    (modalAttribute
        (or
            (instance ?O
                (FoodForFn Human))
            (instance ?O Beverage)) Likely))
Mid-level-ontology.kif 1941-1950
(=>
    (instance ?V Vending)
    (exists (?VM)
        (and
            (instance ?VM VendingMachine)
            (origin ?V ?VM))))
Mid-level-ontology.kif 1902-1907

consequent
-------------------------


(=>
    (instance ?VM VendingMachine)
    (hasPurpose ?VM
        (exists (?H ?O)
            (and
                (instance ?V Vending)
                (instance ?H Human)
                (instance ?O Object)
                (objectTransferred ?V ?O)
                (instrument ?V ?VM)
                (origin ?V ?VM)
                (not
                    (instance ?O Currency))
                (destination ?V ?H)))))
Mid-level-ontology.kif 1914-1927


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 3.0 is open source software produced by Articulate Software and its partners