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

KB Term:  Term intersection
English Word: 

Sigma KEE - typicallyContainsPart
typicallyContainsPart

appearance as argument number 1
-------------------------


(instance typicallyContainsPart BinaryPredicate) Mid-level-ontology.kif 25977-25977 typically contains part is an instance of binary predicate
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 25979-25979 typically contains part is internally related to part
(relatedInternalConcept typicallyContainsPart typicalPart) Mid-level-ontology.kif 25980-25980 typically contains part is internally related to typical part
(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 25981-25984 typically contains part is internally related to typical part
(domainSubclass typicallyContainsPart 1 Object) Mid-level-ontology.kif 25985-25985 The number 1 argument of typically contains part is a subclass of object
(domainSubclass typicallyContainsPart 2 Object) Mid-level-ontology.kif 25986-25986 The number 2 argument of typically contains part is a subclass of object

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


(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Mid-level-ontology.kif 25096-25096 typically contains temporal part is internally related to typically contains part
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") domainEnglishFormat.kif 4850-4850 typically contains temporal part is internally related to typically contains part
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4851-4851 typically contains temporal part is internally related to typically contains part
(format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4852-4852 typically contains temporal part is internally related to typically contains part
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") domainEnglishFormat.kif 59733-59733 typically contains temporal part is internally related to typically contains part
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59734-59734 typically contains temporal part is internally related to typically contains part
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59735-59735 typically contains temporal part is internally related to typically contains part

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


(=>
    (typicallyContainsPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))		 Mid-level-ontology.kif 25988-25994 If a X typically has a part Y, then there exist Z, W such that Z is an instance of X, W is an instance of Y, and W is a part of Z
(=>
    (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 25996-26013 If a X typically has a part Y, Z is an instance of X, equal W, the probability of there exists V such that V is an instance of Y, and V is a part of Z, and equal U, the probability of there doesn't exist T such that T is an instance of Y, and T is a part of Z, then W is greater than U

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


(typicallyContainsPart VocalCords Human) Mid-level-ontology.kif 775-775 A human typically has a part vocal cords
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1633-1633 A gun typically has a part gun trigger
(typicallyContainsPart RibCage Chest) Mid-level-ontology.kif 12760-12760 A chest typically has a part rib cage
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 292-292 A intermittent combustion engine typically has a part crankshaft
(typicallyContainsPart Crankshaft Crankcase) Cars.kif 295-295 A crankcase typically has a part crankshaft
(typicallyContainsPart Piston EngineCylinder) Cars.kif 298-298 A engine cylinder typically has a part piston
(typicallyContainsPart ParkingBrake DrumBrake) Cars.kif 502-502 A drum brake typically has a part parking brake
(typicallyContainsPart BrakeRotor DiscBrake) Cars.kif 601-601 A disc brake typically has a part brake rotor
(typicallyContainsPart BrakeDrum DrumBrake) Cars.kif 607-607 A drum brake typically has a part brake drum
(typicallyContainsPart Spring AutoSuspensionSystem) Cars.kif 662-662 A auto suspension system typically has a part spring
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 663-663 A automobile typically has a part auto suspension system
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 806-806 A automobile typically has a part shock
(typicallyContainsPart Alternator Vehicle) Cars.kif 1150-1150 A vehicle typically has a part alternator
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1174-1174 A automobile typically has a part brake system
(typicallyContainsPart Spring BallJoint) Cars.kif 1311-1311 A ball joint typically has a part spring
(typicallyContainsPart BrakeCaliper BrakeSystem) Cars.kif 1444-1444 A brake system typically has a part brake caliper
(typicallyContainsPart BrakeMasterCylinder BrakeSystem) Cars.kif 1518-1518 A brake system typically has a part master cylinder
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1602-1602 A exhaust system typically has a part catalytic converter
(typicallyContainsPart AirConditioningCompressor AirConditioner) Cars.kif 1852-1852 A air conditioner typically has a part air conditioning compressor
(typicallyContainsPart AirConditioningCondenser AirConditioner) Cars.kif 1896-1896 A air conditioner typically has a part air conditioning condenser
(typicallyContainsPart AirConditioningEvaporator AirConditioner) Cars.kif 1920-1920 A air conditioner typically has a part air conditioning evaporator
(typicallyContainsPart EngineCoolingSystem Pump) Cars.kif 1991-1991 A pump typically has a part engine cooling system
(typicallyContainsPart Thermometer LiquidEngineCoolingSystem) Cars.kif 2015-2015 A water cooling system typically has a part thermometer
(typicallyContainsPart Radiator LiquidEngineCoolingSystem) Cars.kif 2049-2049 A water cooling system typically has a part radiator
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem) Cars.kif 2465-2465 A exhaust system typically has a part exhaust manifold

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners