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 21587-21590
s__domainSubclass(s__typicallyContainsPart__m,n__1,s__Object)

Mid-level-ontology.kif 21591-21591 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 21592-21592 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 21584-21584 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 21585-21585 typically contains part is an instance of spatial relation
s__relatedInternalConcept(s__typicallyContainsPart__m,s__part__m)

Mid-level-ontology.kif 21586-21586 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 4851-4851
s__format(s__ChineseTraditionalLanguage,s__typicallyContainsPart__m,'"%2 typically 有 part %1 "')

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

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

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

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

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

domainEnglishFormat.kif 59635-59635

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21602-21619
( ! [V__WHOLE,V__PART] :
   ((s__subclass(V__WHOLE,s__Object) &
       s__instance(V__WHOLE,s__SetOrClass) &
       s__subclass(V__PART,s__Object) &
       s__instance(V__PART,s__SetOrClass))
     =>
     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 21594-21600

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


s__typicallyContainsPart(s__AirConditioningCompressor,s__AirConditioner)

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

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

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

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

Cars.kif 3604-3604 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 860-860 A automobile typically has a part shock
s__typicallyContainsPart(s__BrakeCaliper,s__BrakeSystem)

Cars.kif 1556-1556 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 1628-1628 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 1241-1241 A automobile typically has a part brake system
s__typicallyContainsPart(s__CatalyticConverter,s__AutomobileExhaustSystem)

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

Cars.kif 4951-4951 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 2127-2127 A pump typically has a part engine cooling system
s__typicallyContainsPart(s__EngineWaterPump,s__EngineCoolingSystem)

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

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

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

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

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

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

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

Cars.kif 5072-5072 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners