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 23715-23718
(domainSubclass typicallyContainsPart 1 Object)	Mid-level-ontology.kif 23719-23719	域子類通常包含部分, 1 and Object
(domainSubclass typicallyContainsPart 2 Object)	Mid-level-ontology.kif 23720-23720	域子類通常包含部分, 2 and Object
(instance typicallyContainsPart BinaryPredicate)	Mid-level-ontology.kif 23711-23711	例通常包含部分 and BinaryPredicate
(instance typicallyContainsPart SpatialRelation)	Mid-level-ontology.kif 23712-23712	例通常包含部分 and SpatialRelation
(relatedInternalConcept typicallyContainsPart part)	Mid-level-ontology.kif 23713-23713	相關的內部概念通常包含部分 and 部分
(relatedInternalConcept typicallyContainsPart typicalPart)	Cars.kif 347-347	相關的內部概念通常包含部分 and 典型的部分

appearance as argument number 2

(format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ")	domainEnglishFormat.kif 4846-4846
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ")	domainEnglishFormat.kif 4845-4845
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1")	domainEnglishFormat.kif 4844-4844
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart)	Cars.kif 1474-1474	相關的內部概念 typicallyContainsTemporalPart and 通常包含部分
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分")	domainEnglishFormat.kif 59752-59752
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分")	domainEnglishFormat.kif 59751-59751
(termFormat EnglishLanguage typicallyContainsPart "typically contains part")	domainEnglishFormat.kif 59750-59750

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 23730-23747	Object typically 有 part Object 例 Entity and Object 等於 ObjectPROB and 可能性 entity 例 entity and Object 部分 entity and Entity 等於 RealNumber and 可能性 entity 例 entity and Object 部分 entity and Entity 比較多 ObjectPROB and RealNumber
(=> (typicallyContainsPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X))))	Mid-level-ontology.kif 23722-23728	Object typically 有 part Object Object Object 例 Object and Object 例 Object and Object 部分 Object and Object

appearance as argument number 0

(typicallyContainsPart AirConditioningCompressor AirConditioner)	Cars.kif 1990-1990	AirConditioner typically 有 part AirConditioningCompressor
(typicallyContainsPart AirConditioningCondenser AirConditioner)	Cars.kif 2034-2034	AirConditioner typically 有 part AirConditioningCondenser
(typicallyContainsPart AirConditioningEvaporator AirConditioner)	Cars.kif 2058-2058	AirConditioner typically 有 part AirConditioningEvaporator
(typicallyContainsPart Alternator Vehicle)	Cars.kif 1212-1212	車輛 typically 有 part Alternator
(typicallyContainsPart AutoAirbag Automobile)	Cars.kif 3615-3615	汽車 typically 有 part AutoAirbag
(typicallyContainsPart AutoSuspensionSystem Automobile)	Cars.kif 726-726	汽車 typically 有 part AutoSuspensionSystem
(typicallyContainsPart AutomobileShock Automobile)	Cars.kif 869-869	汽車 typically 有 part AutomobileShock
(typicallyContainsPart BrakeCaliper BrakeSystem)	Cars.kif 1565-1565	BrakeSystem typically 有 part BrakeCaliper
(typicallyContainsPart BrakeDrum DrumBrake)	Cars.kif 670-670	DrumBrake typically 有 part BrakeDrum
(typicallyContainsPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1638-1638	BrakeSystem typically 有 part BrakeMasterCylinder
(typicallyContainsPart BrakeRotor DiscBrake)	Cars.kif 664-664	DiscBrake typically 有 part BrakeRotor
(typicallyContainsPart BrakeSystem Automobile)	Cars.kif 1236-1236	汽車 typically 有 part BrakeSystem
(typicallyContainsPart Caffeine Coffee)	Food.kif 635-635	咖啡 typically 有 part Caffeine
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem)	Cars.kif 1721-1721	AutomobileExhaustSystem typically 有 part CatalyticConverter
(typicallyContainsPart ChevroletEngine ChevroletAutomobile)	Cars.kif 4956-4956	ChevroletAutomobile typically 有 part ChevroletEngine
(typicallyContainsPart Crankshaft Crankcase)	Cars.kif 342-342	Crankcase typically 有 part Crankshaft
(typicallyContainsPart Crankshaft IntermittentCombustionEngine)	Cars.kif 339-339	IntermittentCombustionEngine typically 有 part Crankshaft
(typicallyContainsPart EngineCoolingSystem Pump)	Cars.kif 2123-2123	泵 typically 有 part EngineCoolingSystem
(typicallyContainsPart EngineWaterPump EngineCoolingSystem)	Cars.kif 2769-2769	EngineCoolingSystem typically 有 part EngineWaterPump
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem)	Cars.kif 2610-2610	AutomobileExhaustSystem typically 有 part ExhaustManifold
(typicallyContainsPart ExhaustValve FourStrokeEngine)	Cars.kif 2646-2646	FourStrokeEngine typically 有 part ExhaustValve
(typicallyContainsPart GunTrigger Gun)	Mid-level-ontology.kif 1359-1359	槍 typically 有 part 槍扳機
(typicallyContainsPart IgnitionCoil Automobile)	Cars.kif 3126-3126	汽車 typically 有 part IgnitionCoil
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem)	Cars.kif 3189-3189	AutomobileIgnitionSystem typically 有 part IgnitionControlModule
(typicallyContainsPart IntakeValve FourStrokeEngine)	Cars.kif 2671-2671	FourStrokeEngine typically 有 part IntakeValve

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: