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 25268-25271
(domainSubclass typicalPart 1 Object) Mid-level-ontology.kif 25272-25272 typicalPart の数値 1 引数は オブジェクトsubclass では
(domainSubclass typicalPart 2 Object) Mid-level-ontology.kif 25273-25273 typicalPart の数値 2 引数は オブジェクトsubclass では
(instance typicalPart BinaryPredicate) Mid-level-ontology.kif 25265-25265 typicalPart2進述語instance では
(instance typicalPart SpatialRelation) Mid-level-ontology.kif 25266-25266 typicalPart空間的関係instance では
(relatedInternalConcept typicalPart part) Mid-level-ontology.kif 25267-25267 typicalPartpartinternally 関連して

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 typicalTemporalParttypicalPartinternally 関連して
(relatedInternalConcept typicallyContainsPart typicalPart) Cars.kif 347-347 typicallyContainsParttypicalPartinternally 関連して
(subrelation partTypes typicalPart) Mid-level-ontology.kif 25398-25398 partTypestypicalPartsubrelation では
(termFormat ChineseLanguage typicalPart "典型的部分") domainEnglishFormat.kif 59748-59748 partTypestypicalPartsubrelation では
(termFormat ChineseTraditionalLanguage typicalPart "典型的部分") domainEnglishFormat.kif 59747-59747 partTypestypicalPartsubrelation では
(termFormat EnglishLanguage typicalPart "typical part") domainEnglishFormat.kif 59746-59746 partTypestypicalPartsubrelation では

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

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 12113-12113 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 12131-12131 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