Barefoot - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Barefoot EnglishLanguage "A state where someone doesn't wears Shoes.")	Mid-level-ontology.kif 31218-31218
(instance Barefoot RelationalAttribute)	Mid-level-ontology.kif 31217-31217	Barefoot is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Barefoot "barefoot")

domainEnglishFormat.kif 64543-64543

antecedent

(=>
    (holdsDuring ?T
        (and
            (attribute ?A Barefoot)
            (instance ?F Foot)
            (part ?F ?A)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?F))))))

Mid-level-ontology.kif 31220-31231

If barefoot is an attribute of an entity and another entity is an instance of foot and the other entity is a part of the entity holds during a time position,
then there doesn't exist a third entity such that the third entity is an instance of clothing and the third entity covers the other entity holds during the time position

consequent

(=>
    (holdsDuring ?T
        (and
            (not
                (exists (?C)
                    (and
                        (instance ?C Clothing)
                        (covers ?C ?F))))
            (instance ?F Foot)
            (part ?F ?A)))
    (holdsDuring ?T
        (attribute ?A Barefoot)))

Mid-level-ontology.kif 31233-31244

If there doesn't exist an entity such that the entity is an instance of clothing and the entity covers another entity and the other entity is an instance of foot and the other entity is a part of a third entity holds during a time position,
then barefoot is an attribute of the third entity holds during the time position

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

KB Term:			Term intersection

English Word: