TreeView Knowledge Base Browser

appearance as argument number 1

(documentation BreadOrBiscuit EnglishLanguage "Food that consists largely of grain flour and water. Note that this class covers crackers, cookies, as well as any self-connected instance of bread, whether it is a loaf, a slice, a chunk of bread, etc.")	Mid-level-ontology.kif 20938-20941
(subclass BreadOrBiscuit PreparedFood)	Mid-level-ontology.kif 20937-20937	Bread or biscuit is a subclass of prepared food

appearance as argument number 2

(subclass Bagel BreadOrBiscuit)	Food.kif 448-448	Bagel is a subclass of bread or biscuit
(subclass Pancake BreadOrBiscuit)	Food.kif 679-679	Pancake is a subclass of bread or biscuit
(termFormat ChineseLanguage BreadOrBiscuit "面包或饼干")	domainEnglishFormat.kif 11882-11882
(termFormat ChineseTraditionalLanguage BreadOrBiscuit "麵包或餅乾")	domainEnglishFormat.kif 11881-11881
(termFormat EnglishLanguage BreadOrBiscuit "bread or biscuit")	domainEnglishFormat.kif 11880-11880

antecedent

(=>
    (instance ?B BreadOrBiscuit)
    (exists (?D ?BAKE)
        (and
            (instance ?D Dough)
            (instance ?BAKE Baking)
            (resource ?BAKE ?D)
            (result ?BAKE ?B))))

Mid-level-ontology.kif 20943-20950

If an entity is an instance of bread or biscuit,
then there exist an object and the entityAKE such that the object is an instance of dough and the entityAKE is an instance of baking and the object is a resource for the entityAKE and the entity is a result of the entityAKE

consequent

(=>
    (instance ?S Sandwich)
    (exists (?B1 ?B2 ?F)
        (and
            (instance ?B1 BreadOrBiscuit)
            (instance ?B2 BreadOrBiscuit)
            (instance ?F
                (FoodForFn Human))
            (between ?B1 ?F ?B2)
            (not
                (equal ?B1 ?B2))
            (not
                (equal ?B1 ?F))
            (not
                (equal ?B2 ?F))
            (part ?B1 ?S)
            (part ?B2 ?S)
            (part ?F ?S))))

Mid-level-ontology.kif 20956-20969

If an object is an instance of sandwich,
then there exist another object, a third object and a fourth object such that the other object is an instance of bread or biscuit and the third object is an instance of bread or biscuit and the fourth object is an instance of food for human and the fourth object is between the other object and the third object and the other object is not equal to the third object and the other object is not equal to the fourth object and the third object is not equal to the fourth object and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object

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

KB Term:			Term intersection

English Word: