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

Formal Language: 



KB Term:  Term intersection
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 21587-21590
(domainSubclass typicallyContainsPart 1 Object) Mid-level-ontology.kif 21591-21591 domainSubclass typicallyContainsPart, 1 and Object
(domainSubclass typicallyContainsPart 2 Object) Mid-level-ontology.kif 21592-21592 domainSubclass typicallyContainsPart, 2 and Object
(instance typicallyContainsPart BinaryPredicate) Mid-level-ontology.kif 21584-21584 instance typicallyContainsPart and BinaryPredicate
(instance typicallyContainsPart SpatialRelation) Mid-level-ontology.kif 21585-21585 instance typicallyContainsPart and SpatialRelation
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 21586-21586 relatedInternalConcept typicallyContainsPart and part
(relatedInternalConcept typicallyContainsPart typicalPart) Cars.kif 347-347 relatedInternalConcept typicallyContainsPart and typicalPart

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


(format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4851-4851
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4850-4850
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") domainEnglishFormat.kif 4849-4849
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Cars.kif 1470-1470 relatedInternalConcept typicallyContainsTemporalPart and typicallyContainsPart
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59637-59637
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59636-59636
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") domainEnglishFormat.kif 59635-59635

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 21602-21619
(=>
    (typicallyContainsPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))		 Mid-level-ontology.kif 21594-21600

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


(typicallyContainsPart AirConditioningCompressor AirConditioner) Cars.kif 1994-1994 typicallyContainsPart AirConditioningCompressor and AirConditioner
(typicallyContainsPart AirConditioningCondenser AirConditioner) Cars.kif 2038-2038 typicallyContainsPart AirConditioningCondenser and AirConditioner
(typicallyContainsPart AirConditioningEvaporator AirConditioner) Cars.kif 2062-2062 typicallyContainsPart AirConditioningEvaporator and AirConditioner
(typicallyContainsPart Alternator Vehicle) Cars.kif 1203-1203 typicallyContainsPart Alternator and Vehicle
(typicallyContainsPart AutoAirbag Automobile) Cars.kif 3604-3604 typicallyContainsPart AutoAirbag and Automobile
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 726-726 typicallyContainsPart AutoSuspensionSystem and Automobile
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 860-860 typicallyContainsPart AutomobileShock and Automobile
(typicallyContainsPart BrakeCaliper BrakeSystem) Cars.kif 1556-1556 typicallyContainsPart BrakeCaliper and BrakeSystem
(typicallyContainsPart BrakeDrum DrumBrake) Cars.kif 670-670 typicallyContainsPart BrakeDrum and DrumBrake
(typicallyContainsPart BrakeMasterCylinder BrakeSystem) Cars.kif 1628-1628 typicallyContainsPart BrakeMasterCylinder and BrakeSystem
(typicallyContainsPart BrakeRotor DiscBrake) Cars.kif 664-664 typicallyContainsPart BrakeRotor and DiscBrake
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1241-1241 typicallyContainsPart BrakeSystem and Automobile
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1711-1711 typicallyContainsPart CatalyticConverter and AutomobileExhaustSystem
(typicallyContainsPart ChevroletEngine ChevroletAutomobile) Cars.kif 4951-4951 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 2127-2127 typicallyContainsPart EngineCoolingSystem and Pump
(typicallyContainsPart EngineWaterPump EngineCoolingSystem) Cars.kif 2771-2771 typicallyContainsPart EngineWaterPump and EngineCoolingSystem
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem) Cars.kif 2612-2612 typicallyContainsPart ExhaustManifold and AutomobileExhaustSystem
(typicallyContainsPart ExhaustValve FourStrokeEngine) Cars.kif 2648-2648 typicallyContainsPart ExhaustValve and FourStrokeEngine
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1745-1745 typicallyContainsPart GunTrigger and Gun
(typicallyContainsPart IgnitionCoil Automobile) Cars.kif 3116-3116 typicallyContainsPart IgnitionCoil and Automobile
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3179-3179 typicallyContainsPart IgnitionControlModule and AutomobileIgnitionSystem
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2673-2673 typicallyContainsPart IntakeValve and FourStrokeEngine
(typicallyContainsPart LightBulb LightFixture) Cars.kif 5072-5072 typicallyContainsPart LightBulb and LightFixture

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners