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 21618-21621
(domainSubclass typicallyContainsPart 1 Object) Mid-level-ontology.kif 21622-21622
(domainSubclass typicallyContainsPart 2 Object) Mid-level-ontology.kif 21623-21623
(instance typicallyContainsPart BinaryPredicate) Mid-level-ontology.kif 21615-21615
(instance typicallyContainsPart SpatialRelation) Mid-level-ontology.kif 21616-21616
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 21617-21617
(relatedInternalConcept typicallyContainsPart typicalPart) Cars.kif 347-347

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


(format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4855-4855
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4854-4854
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") domainEnglishFormat.kif 4853-4853
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Cars.kif 1470-1470
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59668-59668
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59667-59667
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") domainEnglishFormat.kif 59666-59666

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 21633-21650
(=>
    (typicallyContainsPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))
Mid-level-ontology.kif 21625-21631

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


(typicallyContainsPart AirConditioningCompressor AirConditioner) Cars.kif 1994-1994
(typicallyContainsPart AirConditioningCondenser AirConditioner) Cars.kif 2038-2038
(typicallyContainsPart AirConditioningEvaporator AirConditioner) Cars.kif 2062-2062
(typicallyContainsPart Alternator Vehicle) Cars.kif 1203-1203
(typicallyContainsPart AutoAirbag Automobile) Cars.kif 3605-3605
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 726-726
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 860-860
(typicallyContainsPart BrakeCaliper BrakeSystem) Cars.kif 1556-1556
(typicallyContainsPart BrakeDrum DrumBrake) Cars.kif 670-670
(typicallyContainsPart BrakeMasterCylinder BrakeSystem) Cars.kif 1628-1628
(typicallyContainsPart BrakeRotor DiscBrake) Cars.kif 664-664
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1241-1241
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1711-1711
(typicallyContainsPart ChevroletEngine ChevroletAutomobile) Cars.kif 4952-4952
(typicallyContainsPart Crankshaft Crankcase) Cars.kif 342-342
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339
(typicallyContainsPart EngineCoolingSystem Pump) Cars.kif 2127-2127
(typicallyContainsPart EngineWaterPump EngineCoolingSystem) Cars.kif 2771-2771
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem) Cars.kif 2612-2612
(typicallyContainsPart ExhaustValve FourStrokeEngine) Cars.kif 2648-2648
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1751-1751
(typicallyContainsPart IgnitionCoil Automobile) Cars.kif 3116-3116
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3179-3179
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2673-2673
(typicallyContainsPart LightBulb LightFixture) Cars.kif 5073-5073

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 3.0 is open source software produced by Articulate Software and its partners