typicalPart - Sigma Knowledge base Browser

appearance as argument number 1

(documentation typicalPart EnglishLanguage "An instance of the first argument is typically found as part of an instance of the second argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such wholes typically have such parts.")	Mid-level-ontology.kif 21581-21584
(domainSubclass typicalPart 1 Object)	Mid-level-ontology.kif 21585-21585	domainSubclass typicalPart, 1 and Object
(domainSubclass typicalPart 2 Object)	Mid-level-ontology.kif 21586-21586	domainSubclass typicalPart, 2 and Object
(instance typicalPart BinaryPredicate)	Mid-level-ontology.kif 21578-21578	instance typicalPart and BinaryPredicate
(instance typicalPart SpatialRelation)	Mid-level-ontology.kif 21579-21579	instance typicalPart and SpatialRelation
(relatedInternalConcept typicalPart part)	Mid-level-ontology.kif 21580-21580	relatedInternalConcept typicalPart and part

appearance as argument number 2

(format ChineseLanguage typicalPart "%1 typically 是 %2 的 part ")	domainEnglishFormat.kif 4859-4859
(format ChineseTraditionalLanguage typicalPart "%1 typically 是 %2 的 part ")	domainEnglishFormat.kif 4858-4858
(format EnglishLanguage typicalPart "a %1 is typically a part of a %2")	domainEnglishFormat.kif 4857-4857
(relatedInternalConcept typicalTemporalPart typicalPart)	Cars.kif 1430-1430	relatedInternalConcept typicalTemporalPart and typicalPart
(relatedInternalConcept typicallyContainsPart typicalPart)	Cars.kif 347-347	relatedInternalConcept typicallyContainsPart and typicalPart
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 21722-21722	subrelation partTypes and typicalPart
(termFormat ChineseLanguage typicalPart "典型的部分")	domainEnglishFormat.kif 59674-59674
(termFormat ChineseTraditionalLanguage typicalPart "典型的部分")	domainEnglishFormat.kif 59673-59673
(termFormat EnglishLanguage typicalPart "typical part")	domainEnglishFormat.kif 59672-59672

antecedent

(=> (and (typicalPart ?PART ?WHOLE) (instance ?X ?PART) (equal ?PARTPROB (ProbabilityFn (exists (?Y) (and (instance ?Y ?WHOLE) (part ?X ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?Z) (and (instance ?Z ?WHOLE) (part ?X ?Z))))))) (greaterThan ?PARTPROB ?NOTPARTPROB))	Mid-level-ontology.kif 21596-21613	typicalPart Object and Object instance Entity and Object equal ObjectPROB and ProbabilityFn entity instance entity and Object part Entity and entity equal RealNumber and ProbabilityFn entity instance entity and Object part Entity and entity greaterThan ObjectPROB and RealNumber
(=> (typicalPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X))))	Mid-level-ontology.kif 21588-21594	typicalPart Object and Object Object Object instance Object and Object instance Object and Object part Object and Object

consequent

(=>
    (attribute ?X AeronauticalEngineer)
    (exists (?SKILL)
        (and
            (hasSkill ?SKILL ?X)
            (forall (?P)
                (=>
                    (instance ?P ?SKILL)
                    (or
                        (exists (?CONS ?OBJ ?PT)
                            (and
                                (instance ?CONS Making)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?CONS ?OBJ)
                                (subProcess ?P ?CONS)))
                        (exists (?DESIGN ?PLAN ?OBJ ?PT)
                            (and
                                (instance ?DESIGN Designing)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?DESIGN ?PLAN)
                                (represents ?PLAN ?OBJ)
                                (subProcess ?P ?DESIGN)))))))))

Biography.kif 203-232

attribute Agent and AeronauticalEngineer
Process hasSkill Process and Agent Process
- instance Process and Process
- Process Entity and ProcessT instance Process and Making instance Entity and Aircraft instance Entity and ProcessT typicalPart ProcessT and Aircraft result Process and Entity subProcess Process and Process Process ProcessLAN, Entity and ProcessT instance Process and Designing instance Entity and Aircraft instance Entity and ProcessT typicalPart ProcessT and Aircraft result Process and ProcessLAN represents ProcessLAN and Entity subProcess Process and Process

appearance as argument number 0

(typicalPart AirConditioningCompressor AirConditioner)	Cars.kif 1993-1993	typicalPart AirConditioningCompressor and AirConditioner
(typicalPart AirConditioningCondenser AirConditioner)	Cars.kif 2037-2037	typicalPart AirConditioningCondenser and AirConditioner
(typicalPart AirConditioningEvaporator AirConditioner)	Cars.kif 2061-2061	typicalPart AirConditioningEvaporator and AirConditioner
(typicalPart Alternator Vehicle)	Cars.kif 1202-1202	typicalPart Alternator and Vehicle
(typicalPart AutoSuspensionSystem Automobile)	Cars.kif 727-727	typicalPart AutoSuspensionSystem and Automobile
(typicalPart AutomobileShock AutoSuspensionSystem)	Cars.kif 831-831	typicalPart AutomobileShock and AutoSuspensionSystem
(typicalPart AutomobileShock Automobile)	Cars.kif 859-859	typicalPart AutomobileShock and Automobile
(typicalPart Base BjtTransistor)	engineering.kif 1069-1069	typicalPart Base and BjtTransistor
(typicalPart BrakeCaliper BrakeSystem)	Cars.kif 1555-1555	typicalPart BrakeCaliper and BrakeSystem
(typicalPart BrakeCaliper VehicleBrake)	Cars.kif 675-675	typicalPart BrakeCaliper and VehicleBrake
(typicalPart BrakeDrum DrumBrake)	Cars.kif 669-669	typicalPart BrakeDrum and DrumBrake
(typicalPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1627-1627	typicalPart BrakeMasterCylinder and BrakeSystem
(typicalPart BrakePad DiscBrake)	Cars.kif 655-655	typicalPart BrakePad and DiscBrake
(typicalPart BrakeRotor DiscBrake)	Cars.kif 663-663	typicalPart BrakeRotor and DiscBrake
(typicalPart BrakeShoe DrumBrake)	Cars.kif 600-600	typicalPart BrakeShoe and DrumBrake
(typicalPart BrakeSystem Automobile)	Cars.kif 1242-1242	typicalPart BrakeSystem and Automobile
(typicalPart CarAlarm SelfPoweredRoadVehicle)	Cars.kif 3684-3684	typicalPart CarAlarm and SelfPoweredRoadVehicle
(typicalPart CatalyticConverter AutomobileExhaustSystem)	Cars.kif 1710-1710	typicalPart CatalyticConverter and AutomobileExhaustSystem
(typicalPart ChevroletEngine ChevroletAutomobile)	Cars.kif 4951-4951	typicalPart ChevroletEngine and ChevroletAutomobile
(typicalPart Collector BjtTransistor)	engineering.kif 1074-1074	typicalPart Collector and BjtTransistor
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic)	ComputerInput.kif 269-269	typicalPart ComputerKeyboardKey and ComputerKeyboard_Generic
(typicalPart Crankshaft Crankcase)	Cars.kif 341-341	typicalPart Crankshaft and Crankcase
(typicalPart Crankshaft IntermittentCombustionEngine)	Cars.kif 338-338	typicalPart Crankshaft and IntermittentCombustionEngine
(typicalPart Emitter BjtTransistor)	engineering.kif 1078-1078	typicalPart Emitter and BjtTransistor
(typicalPart EngineMAPSensor ExhaustManifold)	Cars.kif 3259-3259	typicalPart EngineMAPSensor and ExhaustManifold

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: