Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - typicalPart
typicalPart

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 21550-21553
(domainSubclass typicalPart 1 Object) Mid-level-ontology.kif 21554-21554 domainSubclass typicalPart, 1 and Object
(domainSubclass typicalPart 2 Object) Mid-level-ontology.kif 21555-21555 domainSubclass typicalPart, 2 and Object
(instance typicalPart BinaryPredicate) Mid-level-ontology.kif 21547-21547 instance typicalPart and BinaryPredicate
(instance typicalPart SpatialRelation) Mid-level-ontology.kif 21548-21548 instance typicalPart and SpatialRelation
(relatedInternalConcept typicalPart part) Mid-level-ontology.kif 21549-21549 relatedInternalConcept typicalPart and part

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


(format ChineseLanguage typicalPart "%1 typically 是 %2 的 part ") domainEnglishFormat.kif 4855-4855
(format ChineseTraditionalLanguage typicalPart "%1 typically 是 %2 的 part ") domainEnglishFormat.kif 4854-4854
(format EnglishLanguage typicalPart "a %1 is typically a part of a %2") domainEnglishFormat.kif 4853-4853
(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 21691-21691 subrelation partTypes and typicalPart
(termFormat ChineseLanguage typicalPart "典型的部分") domainEnglishFormat.kif 59643-59643
(termFormat ChineseTraditionalLanguage typicalPart "典型的部分") domainEnglishFormat.kif 59642-59642
(termFormat EnglishLanguage typicalPart "typical part") domainEnglishFormat.kif 59641-59641

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 21565-21582
(=>
    (typicalPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))
Mid-level-ontology.kif 21557-21563

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

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 3683-3683 typicalPart CarAlarm and SelfPoweredRoadVehicle
(typicalPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1710-1710 typicalPart CatalyticConverter and AutomobileExhaustSystem
(typicalPart ChevroletEngine ChevroletAutomobile) Cars.kif 4950-4950 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners