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 25285-25288
(domainSubclass typicalPart 1 Object) Mid-level-ontology.kif 25289-25289 Le nombre 1 argument de typicalPart est une sous-classe de objet
(domainSubclass typicalPart 2 Object) Mid-level-ontology.kif 25290-25290 Le nombre 2 argument de typicalPart est une sous-classe de objet
(instance typicalPart BinaryPredicate) Mid-level-ontology.kif 25282-25282 typicalPart est une instance de pr�dicat binaire
(instance typicalPart SpatialRelation) Mid-level-ontology.kif 25283-25283 typicalPart est une instance de relation spatial
(relatedInternalConcept typicalPart part) Mid-level-ontology.kif 25284-25284 typicalPart est reli� � l'int�rieur de SUMO � part

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


(format ChineseLanguage typicalPart "%1 typically 是 %2 的 part ") domainEnglishFormat.kif 4856-4856
(format ChineseTraditionalLanguage typicalPart "%1 typically 是 %2 的 part ") domainEnglishFormat.kif 4855-4855
(format EnglishLanguage typicalPart "a %1 is typically a part of a %2") domainEnglishFormat.kif 4854-4854
(relatedInternalConcept typicalTemporalPart typicalPart) Cars.kif 1434-1434 typicalTemporalPart est reli� � l'int�rieur de SUMO � typicalPart
(relatedInternalConcept typicallyContainsPart typicalPart) Cars.kif 347-347 typicallyContainsPart est reli� � l'int�rieur de SUMO � typicalPart
(subrelation partTypes typicalPart) Mid-level-ontology.kif 25415-25415 partTypes est une sous-relation de typicalPart
(termFormat ChineseLanguage typicalPart "典型的部分") domainEnglishFormat.kif 59777-59777 partTypes est une sous-relation de typicalPart
(termFormat ChineseTraditionalLanguage typicalPart "典型的部分") domainEnglishFormat.kif 59776-59776 partTypes est une sous-relation de typicalPart
(termFormat EnglishLanguage typicalPart "typical part") domainEnglishFormat.kif 59775-59775 partTypes est une sous-relation de typicalPart

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 25300-25317
(=>
    (typicalPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))		 Mid-level-ontology.kif 25292-25298

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 444-473

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


(typicalPart AirConditioningCompressor AirConditioner) Cars.kif 1990-1990 typicalPart AirConditioningCompressor and AirConditioner
(typicalPart AirConditioningCondenser AirConditioner) Cars.kif 2034-2034 typicalPart AirConditioningCondenser and AirConditioner
(typicalPart AirConditioningEvaporator AirConditioner) Cars.kif 2058-2058 typicalPart AirConditioningEvaporator and AirConditioner
(typicalPart Alternator Vehicle) Cars.kif 1211-1211 typicalPart Alternator and Vehicle
(typicalPart AutoSuspensionSystem Automobile) Cars.kif 727-727 typicalPart AutoSuspensionSystem and Automobile
(typicalPart AutomobileShock AutoSuspensionSystem) Cars.kif 840-840 typicalPart AutomobileShock and AutoSuspensionSystem
(typicalPart AutomobileShock Automobile) Cars.kif 868-868 typicalPart AutomobileShock and Automobile
(typicalPart Base BjtTransistor) engineering.kif 1383-1383 typicalPart Base and BjtTransistor
(typicalPart Bicep Arm) Mid-level-ontology.kif 12131-12131 typicalPart Bicep and Arm
(typicalPart BrakeCaliper BrakeSystem) Cars.kif 1565-1565 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 1638-1638 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 1237-1237 typicalPart BrakeSystem and Automobile
(typicalPart CalfMuscle Leg) Mid-level-ontology.kif 12149-12149 typicalPart CalfMuscle and Leg
(typicalPart CarAlarm SelfPoweredRoadVehicle) Cars.kif 3770-3770 typicalPart CarAlarm and SelfPoweredRoadVehicle
(typicalPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1721-1721 typicalPart CatalyticConverter and AutomobileExhaustSystem
(typicalPart ChevroletEngine ChevroletAutomobile) Cars.kif 5031-5031 typicalPart ChevroletEngine and ChevroletAutomobile
(typicalPart Collector BjtTransistor) engineering.kif 1388-1388 typicalPart Collector and BjtTransistor
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic) ComputerInput.kif 247-247 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

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