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


s__documentation(s__typicalPart__m,s__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 22097-22100
s__domainSubclass(s__typicalPart__m,n__1,s__Object)

Mid-level-ontology.kif 22101-22101 The number 1 argument of typical part is a subclass of object
s__domainSubclass(s__typicalPart__m,n__2,s__Object)

Mid-level-ontology.kif 22102-22102 The number 2 argument of typical part is a subclass of object
s__instance(s__typicalPart__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 22094-22094 typical part is an instance of binary predicate
s__instance(s__SpatialRelation,s__SetOrClass)

s__instance(s__typicalPart__m,s__SpatialRelation)

Mid-level-ontology.kif 22095-22095 typical part is an instance of spatial relation
s__relatedInternalConcept(s__typicalPart__m,s__part__m)

Mid-level-ontology.kif 22096-22096 typical part is internally related to part

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


s__format(s__ChineseLanguage,s__typicalPart__m,'"%1 typically 是 %2 的 part "')

domainEnglishFormat.kif 4859-4859
s__format(s__ChineseTraditionalLanguage,s__typicalPart__m,'"%1 typically 是 %2 的 part "')

domainEnglishFormat.kif 4858-4858
s__format(s__EnglishLanguage,s__typicalPart__m,'"a %1 is typically a part of a %2"')

domainEnglishFormat.kif 4857-4857
s__relatedInternalConcept(s__typicalTemporalPart__m,s__typicalPart__m)

Cars.kif 1448-1448 typicalTemporalPart is internally related to typical part
s__relatedInternalConcept(s__typicallyContainsPart__m,s__typicalPart__m)

Cars.kif 347-347 typically contains part is internally related to typical part
s__subrelation(s__partTypes__m,s__typicalPart__m)

Mid-level-ontology.kif 22239-22239 partTypes is a subrelation of typical part
s__termFormat(s__ChineseLanguage,s__typicalPart__m,'"典型的部分"')

domainEnglishFormat.kif 59723-59723
s__termFormat(s__ChineseTraditionalLanguage,s__typicalPart__m,'"典型的部分"')

domainEnglishFormat.kif 59722-59722
s__termFormat(s__EnglishLanguage,s__typicalPart__m,'"typical part"')

domainEnglishFormat.kif 59721-59721

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22112-22129
( ! [V__WHOLE,V__PART] :
   (((s__subclass(V__WHOLE,s__Object) &
         s__instance(V__WHOLE,s__Class) &
         s__subclass(V__PART,s__Object) &
         s__instance(V__PART,s__Class))
       =>
       ((s__typicalPart(V__PART,V__WHOLE)
         =>
         (( ? [V__X, V__Y] :
             ((s__instance(V__X,s__Object) &
                 s__instance(V__Y,s__Object) &
                 (s__instance(V__X,V__WHOLE)
                 &
                 s__instance(V__Y,V__PART)
               &
               s__part(V__Y,V__X)))))))))
)
)

Mid-level-ontology.kif 22104-22110

consequent
-------------------------


( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       ((s__attribute(V__X,s__AeronauticalEngineer) =>
           (( ? [V__SKILL] :
               ((s__instance(V__SKILL,s__Class) &
                   s__subclass(V__SKILL,s__Process) &
                   (s__hasSkill(V__SKILL,V__X)
                   &
                   ( ! [V__P] :
                     ((s__instance(V__P,s__Process) =>
                         ((s__instance(V__P,V__SKILL)
                           =>
                           ((( ? [V__CONS, V__OBJ, V__PT] :
                                 ((s__subclass(V__PT,s__Object) &
                                     s__instance(V__PT,s__Class) &
                                     (s__instance(V__CONS,s__Making) &
                                       (s__instance(V__OBJ,s__Aircraft) |
                                         (s__instance(V__OBJ,V__PT)
                                         &
                                         s__typicalPart(V__PT,s__Aircraft)))
                                     &
                                     s__result(V__CONS,V__OBJ)
                                   &
                                   s__subProcess(V__P,V__CONS)))))
                         |
                         ( ? [V__DESIGN, V__PLAN, V__OBJ, V__PT] :
                           ((s__subclass(V__PT,s__Object) &
                               s__instance(V__PT,s__Class) &
                               (s__instance(V__DESIGN,s__Designing) &
                                 (s__instance(V__OBJ,s__Aircraft) |
                                   (s__instance(V__OBJ,V__PT)
                                   &
                                   s__typicalPart(V__PT,s__Aircraft)))
                               &
                               s__result(V__DESIGN,V__PLAN)
                             &
                             s__represents(V__PLAN,V__OBJ)
                           &
                           s__subProcess(V__P,V__DESIGN))))))))))))))))))))
)
)

Biography.kif 203-232

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


s__typicalPart(s__AirConditioningCompressor,s__AirConditioner)

Cars.kif 2020-2020 A air conditioning compressor is typically a part of a air conditioner
s__typicalPart(s__AirConditioningCondenser,s__AirConditioner)

Cars.kif 2064-2064 A air conditioning condenser is typically a part of a air conditioner
s__typicalPart(s__AirConditioningEvaporator,s__AirConditioner)

Cars.kif 2088-2088 A air conditioning evaporator is typically a part of a air conditioner
s__typicalPart(s__Alternator,s__Vehicle)

Cars.kif 1211-1211 A alternator is typically a part of a vehicle
s__typicalPart(s__AutoSuspensionSystem,s__Automobile)

Cars.kif 727-727 A auto suspension system is typically a part of a automobile
s__typicalPart(s__AutomobileShock,s__AutoSuspensionSystem)

Cars.kif 840-840 A shock is typically a part of a auto suspension system
s__typicalPart(s__AutomobileShock,s__Automobile)

Cars.kif 868-868 A shock is typically a part of a automobile
s__typicalPart(s__Base,s__BjtTransistor)

engineering.kif 1069-1069 A base is typically a part of a bjt transistor
s__typicalPart(s__Bicep,s__Arm)

Mid-level-ontology.kif 9623-9623 A bicep is typically a part of a arm
s__typicalPart(s__BrakeCaliper,s__BrakeSystem)

Cars.kif 1573-1573 A BrakeCaliper is typically a part of a brake system
s__typicalPart(s__BrakeCaliper,s__VehicleBrake)

Cars.kif 675-675 A BrakeCaliper is typically a part of a vehicle brake
s__typicalPart(s__BrakeDrum,s__DrumBrake)

Cars.kif 669-669 A BrakeDrum is typically a part of a drum brake
s__typicalPart(s__BrakeMasterCylinder,s__BrakeSystem)

Cars.kif 1645-1645 A master cylinder is typically a part of a brake system
s__typicalPart(s__BrakePad,s__DiscBrake)

Cars.kif 655-655 A BrakePad is typically a part of a disc brake
s__typicalPart(s__BrakeRotor,s__DiscBrake)

Cars.kif 663-663 A BrakeRotor is typically a part of a disc brake
s__typicalPart(s__BrakeShoe,s__DrumBrake)

Cars.kif 600-600 A brake shoe is typically a part of a drum brake
s__typicalPart(s__BrakeSystem,s__Automobile)

Cars.kif 1251-1251 A brake system is typically a part of a automobile
s__typicalPart(s__CalfMuscle,s__Leg)

Mid-level-ontology.kif 9641-9641 A gastrocnemius is typically a part of a leg
s__typicalPart(s__CarAlarm,s__SelfPoweredRoadVehicle)

Cars.kif 3727-3727 A CarAlarm is typically a part of a self powered road vehicle
s__typicalPart(s__CatalyticConverter,s__AutomobileExhaustSystem)

Cars.kif 1728-1728 A catalytic converter is typically a part of a exhaust system
s__typicalPart(s__ChevroletEngine,s__ChevroletAutomobile)

Cars.kif 4994-4994 A ChevroletEngine is typically a part of a ChevroletAutomobile
s__typicalPart(s__Collector,s__BjtTransistor)

engineering.kif 1074-1074 A collector is typically a part of a bjt transistor
s__typicalPart(s__ComputerKeyboardKey,s__ComputerKeyboard_Generic)

ComputerInput.kif 269-269 A ComputerKeyboardKey is typically a part of a ComputerKeyboard_Generic
s__typicalPart(s__Crankshaft,s__Crankcase)

Cars.kif 341-341 A Crankshaft is typically a part of a Crankcase
s__typicalPart(s__Crankshaft,s__IntermittentCombustionEngine)

Cars.kif 338-338 A Crankshaft is typically a part of a 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