Browsing Interface		 [ Home |  Graph |   ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - typicallyContainsPart
typicallyContainsPart

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


(documentation typicallyContainsPart EnglishLanguage "An instance of the second argument typically contains an instance of the first argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes.") Mid-level-ontology.kif 16608-16611
(domainSubclass typicallyContainsPart 1 Object) Mid-level-ontology.kif 16612-16612 The number 1 argument of typically contains part is a subclass of object
(domainSubclass typicallyContainsPart 2 Object) Mid-level-ontology.kif 16613-16613 The number 2 argument of typically contains part is a subclass of object
(instance typicallyContainsPart BinaryRelation) Mid-level-ontology.kif 16605-16605 typically contains part is an instance of binary relation
(instance typicallyContainsPart SpatialRelation) Mid-level-ontology.kif 16606-16606 typically contains part is an instance of spatial relation
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 16607-16607 typically contains part is internally related to part

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


(termFormat EnglishLanguage typicallyContainsPart "typically contains part") domainEnglishFormat.kif 9737-9737 term format english language, typically contains part and "typically contains part"

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


(=>
    (and
        (typicallyContainsPart ?PART ?WHOLE)
        (instance ?Y ?WHOLE))
    (and
        (equal ?PARTPROB
            (ProbabilityFn
                (exists (?X)
                    (and
                        (instance ?X ?PART)
                        (part ?X ?Y)))))
        (equal ?NOTPARTPROB
            (ProbabilityFn
                (not
                    (exists (?X)
                        (and
                            (instance ?X ?PART)
                            (part ?X ?Y))))))
        (greaterThan ?PARTPROB ?NOTPARTPROB)))		 Mid-level-ontology.kif 16623-16641
(=>
    (typicallyContainsPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))		 Mid-level-ontology.kif 16615-16621

appearance as argument number 0
-------------------------


(typicallyContainsPart VocalCords Human) Merge.kif 8788-8788 typically contains part VocalCords and human


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners