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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - typicallyContainsPart
typicallyContainsPart

appearance as argument number 1
-------------------------


s__documentation(s__typicallyContainsPart__m,s__EnglishLanguage,'"An instance of the second argument typically contains an instance of the first argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes."')

Mid-level-ontology.kif 22403-22406
s__domainSubclass(s__typicallyContainsPart__m,n__1,s__Object)

Mid-level-ontology.kif 22407-22407 The number 1 argument of typically contains part is a subclass of object
s__domainSubclass(s__typicallyContainsPart__m,n__2,s__Object)

Mid-level-ontology.kif 22408-22408 The number 2 argument of typically contains part is a subclass of object
s__instance(s__typicallyContainsPart__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 22400-22400 typically contains part is an instance of binary predicate
s__instance(s__SpatialRelation,s__SetOrClass)

s__instance(s__typicallyContainsPart__m,s__SpatialRelation)

Mid-level-ontology.kif 22401-22401 typically contains part is an instance of spatial relation
s__relatedInternalConcept(s__typicallyContainsPart__m,s__part__m)

Mid-level-ontology.kif 22402-22402 typically contains part is internally related to part
s__relatedInternalConcept(s__typicallyContainsPart__m,s__typicalPart__m)

Cars.kif 347-347 typically contains part is internally related to typical part

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


s__format(s__ChineseLanguage,s__typicallyContainsPart__m,'"%2 typically 有 part %1 "')

domainEnglishFormat.kif 4855-4855
s__format(s__ChineseTraditionalLanguage,s__typicallyContainsPart__m,'"%2 typically 有 part %1 "')

domainEnglishFormat.kif 4854-4854
s__format(s__EnglishLanguage,s__typicallyContainsPart__m,'"a %2 typically has a part %1"')

domainEnglishFormat.kif 4853-4853
s__relatedInternalConcept(s__typicallyContainsTemporalPart__m,s__typicallyContainsPart__m)

Cars.kif 1474-1474 typicallyContainsTemporalPart is internally related to typically contains part
s__termFormat(s__ChineseLanguage,s__typicallyContainsPart__m,'"通常包含部分"')

domainEnglishFormat.kif 59717-59717
s__termFormat(s__ChineseTraditionalLanguage,s__typicallyContainsPart__m,'"通常包含部分"')

domainEnglishFormat.kif 59716-59716
s__termFormat(s__EnglishLanguage,s__typicallyContainsPart__m,'"typically contains part"')

domainEnglishFormat.kif 59715-59715

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22418-22435
( ! [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__typicallyContainsPart(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 22410-22416

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


s__typicallyContainsPart(s__AirConditioningCompressor,s__AirConditioner)

Cars.kif 2007-2007 A air conditioner typically has a part air conditioning compressor
s__typicallyContainsPart(s__AirConditioningCondenser,s__AirConditioner)

Cars.kif 2051-2051 A air conditioner typically has a part air conditioning condenser
s__typicallyContainsPart(s__AirConditioningEvaporator,s__AirConditioner)

Cars.kif 2075-2075 A air conditioner typically has a part air conditioning evaporator
s__typicallyContainsPart(s__Alternator,s__Vehicle)

Cars.kif 1212-1212 A vehicle typically has a part alternator
s__typicallyContainsPart(s__AutoAirbag,s__Automobile)

Cars.kif 3634-3634 A automobile typically has a part airbag
s__typicallyContainsPart(s__AutoSuspensionSystem,s__Automobile)

Cars.kif 726-726 A automobile typically has a part auto suspension system
s__typicallyContainsPart(s__AutomobileShock,s__Automobile)

Cars.kif 869-869 A automobile typically has a part shock
s__typicallyContainsPart(s__BrakeCaliper,s__BrakeSystem)

Cars.kif 1560-1560 A brake system typically has a part BrakeCaliper
s__typicallyContainsPart(s__BrakeDrum,s__DrumBrake)

Cars.kif 670-670 A drum brake typically has a part BrakeDrum
s__typicallyContainsPart(s__BrakeMasterCylinder,s__BrakeSystem)

Cars.kif 1632-1632 A brake system typically has a part master cylinder
s__typicallyContainsPart(s__BrakeRotor,s__DiscBrake)

Cars.kif 664-664 A disc brake typically has a part BrakeRotor
s__typicallyContainsPart(s__BrakeSystem,s__Automobile)

Cars.kif 1236-1236 A automobile typically has a part brake system
s__typicallyContainsPart(s__CatalyticConverter,s__AutomobileExhaustSystem)

Cars.kif 1715-1715 A exhaust system typically has a part catalytic converter
s__typicallyContainsPart(s__ChevroletEngine,s__ChevroletAutomobile)

Cars.kif 4981-4981 A ChevroletAutomobile typically has a part ChevroletEngine
s__typicallyContainsPart(s__Crankshaft,s__Crankcase)

Cars.kif 342-342 A Crankcase typically has a part Crankshaft
s__typicallyContainsPart(s__Crankshaft,s__IntermittentCombustionEngine)

Cars.kif 339-339 A IntermittentCombustionEngine typically has a part Crankshaft
s__typicallyContainsPart(s__EngineCoolingSystem,s__Pump)

Cars.kif 2140-2140 A pump typically has a part engine cooling system
s__typicallyContainsPart(s__EngineWaterPump,s__EngineCoolingSystem)

Cars.kif 2786-2786 A engine cooling system typically has a part engine water pump
s__typicallyContainsPart(s__ExhaustManifold,s__AutomobileExhaustSystem)

Cars.kif 2627-2627 A exhaust system typically has a part exhaust manifold
s__typicallyContainsPart(s__ExhaustValve,s__FourStrokeEngine)

Cars.kif 2663-2663 A four stroke engine typically has a part exhaust valve
s__typicallyContainsPart(s__GunTrigger,s__Gun)

Mid-level-ontology.kif 1305-1305 A gun typically has a part gun trigger
s__typicallyContainsPart(s__IgnitionCoil,s__Automobile)

Cars.kif 3141-3141 A automobile typically has a part ignition coil
s__typicallyContainsPart(s__IgnitionControlModule,s__AutomobileIgnitionSystem)

Cars.kif 3204-3204 A automobile ignition system typically has a part ignition control module
s__typicallyContainsPart(s__IntakeValve,s__FourStrokeEngine)

Cars.kif 2688-2688 A four stroke engine typically has a part intake valve
s__typicallyContainsPart(s__LightBulb,s__LightFixture)

Cars.kif 5102-5102 A light fixture typically has a part light bulb

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