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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 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


        (typicalPart ?PART ?WHOLE)
        (instance ?X ?PART)
        (equal ?PARTPROB
                (exists (?Y)
                        (instance ?Y ?WHOLE)
                        (part ?X ?Y)))))
        (equal ?NOTPARTPROB
                    (exists (?Z)
                            (instance ?Z ?WHOLE)
                            (part ?X ?Z)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 21596-21613
    (typicalPart ?PART ?WHOLE)
    (exists (?X ?Y)
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))
Mid-level-ontology.kif 21588-21594


    (attribute ?X AeronauticalEngineer)
    (exists (?SKILL)
            (hasSkill ?SKILL ?X)
            (forall (?P)
                    (instance ?P ?SKILL)
                        (exists (?CONS ?OBJ ?PT)
                                (instance ?CONS Making)
                                    (instance ?OBJ Aircraft)
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?CONS ?OBJ)
                                (subProcess ?P ?CONS)))
                        (exists (?DESIGN ?PLAN ?OBJ ?PT)
                                (instance ?DESIGN Designing)
                                    (instance ?OBJ Aircraft)
                                        (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 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