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 21182-21185
(domainSubclass typicallyContainsPart 1 Object) Mid-level-ontology.kif 21186-21186 The number 1 argument of typically contains part is a subclass of object
(domainSubclass typicallyContainsPart 2 Object) Mid-level-ontology.kif 21187-21187 The number 2 argument of typically contains part is a subclass of object
(instance typicallyContainsPart BinaryPredicate) Mid-level-ontology.kif 21179-21179 typically contains part is an instance of binary predicate
(instance typicallyContainsPart SpatialRelation) Mid-level-ontology.kif 21180-21180 typically contains part is an instance of spatial relation
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 21181-21181 typically contains part is internally related to part
(relatedInternalConcept typicallyContainsPart typicalPart) Cars.kif 347-347 typically contains part is internally related to typical part

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


(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") domainEnglishFormat.kif 1222-1222
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Cars.kif 1510-1510 typicallyContainsTemporalPart is internally related to typically contains part
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") domainEnglishFormat.kif 10387-10387 "typically contains part" is the printable form of typically contains part in english language

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 21197-21214
(=>
    (typicallyContainsPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))
Mid-level-ontology.kif 21189-21195

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


(typicallyContainsPart AirConditioningCompressor AirConditioner) Cars.kif 2034-2034 A air conditioner typically has a part air conditioning compressor
(typicallyContainsPart AirConditioningCondenser AirConditioner) Cars.kif 2078-2078 A air conditioner typically has a part air conditioning condenser
(typicallyContainsPart AirConditioningEvaporator AirConditioner) Cars.kif 2102-2102 A air conditioner typically has a part air conditioning evaporator
(typicallyContainsPart Alternator Vehicle) Cars.kif 1243-1243 A vehicle typically has a part alternator
(typicallyContainsPart AutoAirbag Automobile) Cars.kif 3638-3638 A automobile typically has a part airbag
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 767-767 A automobile typically has a part auto suspension system
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 900-900 A automobile typically has a part shock
(typicallyContainsPart BrakeCaliper BrakeSystem) Cars.kif 1596-1596 A brake system typically has a part BrakeCaliper
(typicallyContainsPart BrakeDrum DrumBrake) Cars.kif 670-670 A drum brake typically has a part BrakeDrum
(typicallyContainsPart BrakeMasterCylinder BrakeSystem) Cars.kif 1668-1668 A brake system typically has a part master cylinder
(typicallyContainsPart BrakeRotor DiscBrake) Cars.kif 664-664 A disc brake typically has a part BrakeRotor
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1281-1281 A automobile typically has a part brake system
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1751-1751 A exhaust system typically has a part catalytic converter
(typicallyContainsPart ChevroletEngine ChevroletAutomobile) Cars.kif 4983-4983 A ChevroletAutomobile typically has a part ChevroletEngine
(typicallyContainsPart Crankshaft Crankcase) Cars.kif 342-342 A Crankcase typically has a part Crankshaft
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339 A IntermittentCombustionEngine typically has a part Crankshaft
(typicallyContainsPart EngineCoolingSystem Pump) Cars.kif 2167-2167 A pump typically has a part engine cooling system
(typicallyContainsPart EngineWaterPump EngineCoolingSystem) Cars.kif 2808-2808 A engine cooling system typically has a part engine water pump
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem) Cars.kif 2649-2649 A exhaust system typically has a part exhaust manifold
(typicallyContainsPart ExhaustValve FourStrokeEngine) Cars.kif 2685-2685 A four stroke engine typically has a part exhaust valve
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1750-1750 A gun typically has a part gun trigger
(typicallyContainsPart IgnitionCoil Automobile) Cars.kif 3153-3153 A automobile typically has a part ignition coil
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3216-3216 A automobile ignition system typically has a part ignition control module
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2710-2710 A four stroke engine typically has a part intake valve
(typicallyContainsPart LightBulb LightFixture) Cars.kif 5104-5104 A light fixture typically has a part light bulb

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