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 21543-21546
(domainSubclass typicallyContainsPart 1 Object) Mid-level-ontology.kif 21547-21547
(domainSubclass typicallyContainsPart 2 Object) Mid-level-ontology.kif 21548-21548
(instance typicallyContainsPart BinaryPredicate) Mid-level-ontology.kif 21540-21540
(instance typicallyContainsPart SpatialRelation) Mid-level-ontology.kif 21541-21541
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 21542-21542
(relatedInternalConcept typicallyContainsPart typicalPart) Cars.kif 347-347

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


(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") domainEnglishFormat.kif 1222-1222
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Cars.kif 1469-1469
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") domainEnglishFormat.kif 10383-10383

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 21558-21575
(=>
    (typicallyContainsPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))
Mid-level-ontology.kif 21550-21556

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


(typicallyContainsPart AirConditioningCompressor AirConditioner) Cars.kif 1993-1993
(typicallyContainsPart AirConditioningCondenser AirConditioner) Cars.kif 2037-2037
(typicallyContainsPart AirConditioningEvaporator AirConditioner) Cars.kif 2061-2061
(typicallyContainsPart Alternator Vehicle) Cars.kif 1202-1202
(typicallyContainsPart AutoAirbag Automobile) Cars.kif 3597-3597
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 726-726
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 859-859
(typicallyContainsPart BrakeCaliper BrakeSystem) Cars.kif 1555-1555
(typicallyContainsPart BrakeDrum DrumBrake) Cars.kif 670-670
(typicallyContainsPart BrakeMasterCylinder BrakeSystem) Cars.kif 1627-1627
(typicallyContainsPart BrakeRotor DiscBrake) Cars.kif 664-664
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1240-1240
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1710-1710
(typicallyContainsPart ChevroletEngine ChevroletAutomobile) Cars.kif 4942-4942
(typicallyContainsPart Crankshaft Crankcase) Cars.kif 342-342
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339
(typicallyContainsPart EngineCoolingSystem Pump) Cars.kif 2126-2126
(typicallyContainsPart EngineWaterPump EngineCoolingSystem) Cars.kif 2767-2767
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem) Cars.kif 2608-2608
(typicallyContainsPart ExhaustValve FourStrokeEngine) Cars.kif 2644-2644
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1750-1750
(typicallyContainsPart IgnitionCoil Automobile) Cars.kif 3112-3112
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3175-3175
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2669-2669
(typicallyContainsPart LightBulb LightFixture) Cars.kif 5063-5063

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