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

Formal Language: 



KB Term:  Term intersection
English Word: 

  typicallyContainsPart

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 23662-23665
(domainSubclass typicallyContainsPart 1 Object) Mid-level-ontology.kif 23666-23666 Le nombre 1 argument de typicallyContainsPart est une sous-classe de objet
(domainSubclass typicallyContainsPart 2 Object) Mid-level-ontology.kif 23667-23667 Le nombre 2 argument de typicallyContainsPart est une sous-classe de objet
(instance typicallyContainsPart BinaryPredicate) Mid-level-ontology.kif 23659-23659 typicallyContainsPart est une instance de pr�dicat binaire
(instance typicallyContainsPart SpatialRelation) Mid-level-ontology.kif 23660-23660 typicallyContainsPart est une instance de relation spatial
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 23661-23661 typicallyContainsPart est reli� � l'int�rieur de SUMO � part
(relatedInternalConcept typicallyContainsPart typicalPart) Cars.kif 347-347 typicallyContainsPart est reli� � l'int�rieur de SUMO � typicalPart

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


(format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4846-4846
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4845-4845
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") domainEnglishFormat.kif 4844-4844
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Cars.kif 1474-1474 typicallyContainsTemporalPart est reli� � l'int�rieur de SUMO � typicallyContainsPart
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59750-59750
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59749-59749
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") domainEnglishFormat.kif 59748-59748

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


(=>
    (and
        (typicallyContainsPart ?PART ?WHOLE)
        (instance ?Y ?WHOLE)
        (equal ?PARTPROB
            (ProbabilityFn
                (exists (?X1)
                    (and
                        (instance ?X1 ?PART)
                        (part ?X1 ?Y)))))
        (equal ?NOTPARTPROB
            (ProbabilityFn
                (not
                    (exists (?X2)
                        (and
                            (instance ?X2 ?PART)
                            (part ?X2 ?Y)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23677-23694
(=>
    (typicallyContainsPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))
Mid-level-ontology.kif 23669-23675

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


(typicallyContainsPart AirConditioningCompressor AirConditioner) Cars.kif 2007-2007 typicallyContainsPart AirConditioningCompressor and AirConditioner
(typicallyContainsPart AirConditioningCondenser AirConditioner) Cars.kif 2051-2051 typicallyContainsPart AirConditioningCondenser and AirConditioner
(typicallyContainsPart AirConditioningEvaporator AirConditioner) Cars.kif 2075-2075 typicallyContainsPart AirConditioningEvaporator and AirConditioner
(typicallyContainsPart Alternator Vehicle) Cars.kif 1212-1212 typicallyContainsPart Alternator and Vehicle
(typicallyContainsPart AutoAirbag Automobile) Cars.kif 3630-3630 typicallyContainsPart AutoAirbag and Automobile
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 726-726 typicallyContainsPart AutoSuspensionSystem and Automobile
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 869-869 typicallyContainsPart AutomobileShock and Automobile
(typicallyContainsPart BrakeCaliper BrakeSystem) Cars.kif 1560-1560 typicallyContainsPart BrakeCaliper and BrakeSystem
(typicallyContainsPart BrakeDrum DrumBrake) Cars.kif 670-670 typicallyContainsPart BrakeDrum and DrumBrake
(typicallyContainsPart BrakeMasterCylinder BrakeSystem) Cars.kif 1632-1632 typicallyContainsPart BrakeMasterCylinder and BrakeSystem
(typicallyContainsPart BrakeRotor DiscBrake) Cars.kif 664-664 typicallyContainsPart BrakeRotor and DiscBrake
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1236-1236 typicallyContainsPart BrakeSystem and Automobile
(typicallyContainsPart Caffeine Coffee) Food.kif 635-635 typicallyContainsPart Caffeine and Coffee
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1715-1715 typicallyContainsPart CatalyticConverter and AutomobileExhaustSystem
(typicallyContainsPart ChevroletEngine ChevroletAutomobile) Cars.kif 4971-4971 typicallyContainsPart ChevroletEngine and ChevroletAutomobile
(typicallyContainsPart Crankshaft Crankcase) Cars.kif 342-342 typicallyContainsPart Crankshaft and Crankcase
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339 typicallyContainsPart Crankshaft and IntermittentCombustionEngine
(typicallyContainsPart EngineCoolingSystem Pump) Cars.kif 2140-2140 typicallyContainsPart EngineCoolingSystem and Pump
(typicallyContainsPart EngineWaterPump EngineCoolingSystem) Cars.kif 2786-2786 typicallyContainsPart EngineWaterPump and EngineCoolingSystem
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem) Cars.kif 2627-2627 typicallyContainsPart ExhaustManifold and AutomobileExhaustSystem
(typicallyContainsPart ExhaustValve FourStrokeEngine) Cars.kif 2663-2663 typicallyContainsPart ExhaustValve and FourStrokeEngine
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1366-1366 typicallyContainsPart GunTrigger and Gun
(typicallyContainsPart IgnitionCoil Automobile) Cars.kif 3141-3141 typicallyContainsPart IgnitionCoil and Automobile
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3204-3204 typicallyContainsPart IgnitionControlModule and AutomobileIgnitionSystem
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2688-2688 typicallyContainsPart IntakeValve and FourStrokeEngine

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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