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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HighTea
HighTea

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


(documentation HighTea EnglishLanguage "HighTea refers to something eaten mid-day that consists of light snacks and tea") Food.kif 157-158
(instance HighTea RelationalAttribute) Food.kif 156-156

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


(termFormat EnglishLanguage HighTea "high tea") Food.kif 159-159

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


(=>
    (and
        (instance ?X Meal)
        (attribute ?X HighTea))
    (exists (?TEA)
        (and
            (instance ?TEA Tea)
            (member ?TEA ?X))))
Food.kif 161-168


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