typicallyContainsPart - Sigma Knowledge base Browser

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 25323-25326
(domainSubclass typicallyContainsPart 1 Object)	Mid-level-ontology.kif 25327-25327	The number 1 argument of typically contains part is a subclass of object
(domainSubclass typicallyContainsPart 2 Object)	Mid-level-ontology.kif 25328-25328	The number 2 argument of typically contains part is a subclass of object
(instance typicallyContainsPart BinaryPredicate)	Mid-level-ontology.kif 25319-25319	typically contains part is an instance of binary predicate
(instance typicallyContainsPart SpatialRelation)	Mid-level-ontology.kif 25320-25320	typically contains part is an instance of spatial relation
(relatedInternalConcept typicallyContainsPart part)	Mid-level-ontology.kif 25321-25321	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 ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ")	domainEnglishFormat.kif 4852-4852
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ")	domainEnglishFormat.kif 4851-4851
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1")	domainEnglishFormat.kif 4850-4850
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart)	Cars.kif 1474-1474	typically contains temporal part is internally related to typically contains part
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分")	domainEnglishFormat.kif 59771-59771	typically contains temporal part is internally related to typically contains part
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分")	domainEnglishFormat.kif 59770-59770	typically contains temporal part is internally related to typically contains part
(termFormat EnglishLanguage typicallyContainsPart "typically contains part")	domainEnglishFormat.kif 59769-59769	typically contains temporal part is internally related to typically contains part

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 25338-25355	If a a kind of object typically has a part another kind of object and an entity is an instance of a kind of object and another kind of objectPROB is equal to the probability of there exists another entity such that the other entity is an instance of the other kind of object and the other entity is a part of the entity and another real number is equal to the probability of there doesn't exist a third entity such that the third entity is an instance of the other kind of object and the third entity is a part of the entity, then the other kind of objectPROB is greater than the other real number
(=> (typicallyContainsPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X))))	Mid-level-ontology.kif 25330-25336	If a a kind of object typically has a part another kind of object, then there exist a third object and a fourth object such that the third object is an instance of a kind of object and the fourth object is an instance of another kind of object and the fourth object is a part of the third object

appearance as argument number 0

(typicallyContainsPart AirConditioningCompressor AirConditioner)	Cars.kif 1991-1991	A air conditioner typically has a part air conditioning compressor
(typicallyContainsPart AirConditioningCondenser AirConditioner)	Cars.kif 2035-2035	A air conditioner typically has a part air conditioning condenser
(typicallyContainsPart AirConditioningEvaporator AirConditioner)	Cars.kif 2059-2059	A air conditioner typically has a part air conditioning evaporator
(typicallyContainsPart Alternator Vehicle)	Cars.kif 1212-1212	A vehicle typically has a part alternator
(typicallyContainsPart AutoAirbag Automobile)	Cars.kif 3691-3691	A automobile typically has a part airbag
(typicallyContainsPart AutoSuspensionSystem Automobile)	Cars.kif 726-726	A automobile typically has a part auto suspension system
(typicallyContainsPart AutomobileShock Automobile)	Cars.kif 869-869	A automobile typically has a part shock
(typicallyContainsPart BrakeCaliper BrakeSystem)	Cars.kif 1566-1566	A brake system typically has a part brake caliper
(typicallyContainsPart BrakeDrum DrumBrake)	Cars.kif 670-670	A drum brake typically has a part brake drum
(typicallyContainsPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1639-1639	A brake system typically has a part master cylinder
(typicallyContainsPart BrakeRotor DiscBrake)	Cars.kif 664-664	A disc brake typically has a part brake rotor
(typicallyContainsPart BrakeSystem Automobile)	Cars.kif 1236-1236	A automobile typically has a part brake system
(typicallyContainsPart Caffeine Coffee)	Food.kif 635-635	A coffee typically has a part caffeine
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem)	Cars.kif 1722-1722	A exhaust system typically has a part catalytic converter
(typicallyContainsPart ChevroletEngine ChevroletAutomobile)	Cars.kif 5032-5032	A Chevrolet automobile typically has a part Chevrolet engine
(typicallyContainsPart Crankshaft Crankcase)	Cars.kif 342-342	A crankcase typically has a part crankshaft
(typicallyContainsPart Crankshaft IntermittentCombustionEngine)	Cars.kif 339-339	A intermittent combustion engine typically has a part crankshaft
(typicallyContainsPart EngineCoolingSystem Pump)	Cars.kif 2124-2124	A pump typically has a part engine cooling system
(typicallyContainsPart EngineWaterPump EngineCoolingSystem)	Cars.kif 2770-2770	A engine cooling system typically has a part engine water pump
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem)	Cars.kif 2611-2611	A exhaust system typically has a part exhaust manifold
(typicallyContainsPart ExhaustValve FourStrokeEngine)	Cars.kif 2647-2647	A four stroke engine typically has a part exhaust valve
(typicallyContainsPart GunTrigger Gun)	Mid-level-ontology.kif 1582-1582	A gun typically has a part gun trigger
(typicallyContainsPart IgnitionCoil Automobile)	Cars.kif 3202-3202	A automobile typically has a part ignition coil
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem)	Cars.kif 3265-3265	A automobile ignition system typically has a part ignition control module
(typicallyContainsPart IntakeValve FourStrokeEngine)	Cars.kif 2672-2672	A four stroke engine typically has a part intake valve

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

KB Term:			Term intersection

English Word: