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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Barefoot

Sigma KEE - Barefoot
Barefootที่ไม่สวมรองเท้า, เท้าเปล่า

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


(documentation Barefoot EnglishLanguage "A state where someone doesn't wears Shoes.") Mid-level-ontology.kif 28208-28208
(instance Barefoot RelationalAttribute) Mid-level-ontology.kif 28207-28207

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


(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))
Mid-level-ontology.kif 28209-28217


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