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


(documentation typicallyContainsPart 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 25304-25307
(domainSubclass typicallyContainsPart 1 Object) Mid-level-ontology.kif 25308-25308 通常包含部分 的 1 数量 是 客体 的 subclass
(domainSubclass typicallyContainsPart 2 Object) Mid-level-ontology.kif 25309-25309 通常包含部分 的 2 数量 是 客体 的 subclass
(instance typicallyContainsPart BinaryPredicate) Mid-level-ontology.kif 25300-25300 通常包含部分 是 二元谓语 的 instance
(instance typicallyContainsPart SpatialRelation) Mid-level-ontology.kif 25301-25301 通常包含部分 是 空间关系 的 instance
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 25302-25302 通常包含部分 和 部分 是 内部相关
(relatedInternalConcept typicallyContainsPart typicalPart) Cars.kif 347-347 通常包含部分 和 典型的部分 是 内部相关

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


(format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4852-4852
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4851-4851
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") domainEnglishFormat.kif 4850-4850
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Cars.kif 1474-1474 typicallyContainsTemporalPart 和 通常包含部分 是 内部相关
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59742-59742 typicallyContainsTemporalPart 和 通常包含部分 是 内部相关
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59741-59741 typicallyContainsTemporalPart 和 通常包含部分 是 内部相关
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") domainEnglishFormat.kif 59740-59740 typicallyContainsTemporalPart 和 通常包含部分 是 内部相关

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


(=>
    (and
        (typicallyContainsPart ?PART ?WHOLE)
        (instance ?Y ?WHOLE)
        (equal ?PARTPROB
            (ProbabilityFn
                (exists (?X1)
                    (and
                        (instance ?X1 ?PART)
                        (part ?X1 ?Y)))))
        (equal ?NOTPARTPROB
            (ProbabilityFn
                (not
                    (exists (?X2)
                        (and
                            (instance ?X2 ?PART)
                            (part ?X2 ?Y)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))		 Mid-level-ontology.kif 25319-25336
(=>
    (typicallyContainsPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))		 Mid-level-ontology.kif 25311-25317

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


(typicallyContainsPart AirConditioningCompressor AirConditioner) Cars.kif 1991-1991 AirConditioner typically 有 part AirConditioningCompressor
(typicallyContainsPart AirConditioningCondenser AirConditioner) Cars.kif 2035-2035 AirConditioner typically 有 part AirConditioningCondenser
(typicallyContainsPart AirConditioningEvaporator AirConditioner) Cars.kif 2059-2059 AirConditioner typically 有 part AirConditioningEvaporator
(typicallyContainsPart Alternator Vehicle) Cars.kif 1212-1212 车辆 typically 有 part Alternator
(typicallyContainsPart AutoAirbag Automobile) Cars.kif 3691-3691 汽车 typically 有 part AutoAirbag
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 726-726 汽车 typically 有 part AutoSuspensionSystem
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 869-869 汽车 typically 有 part AutomobileShock
(typicallyContainsPart BrakeCaliper BrakeSystem) Cars.kif 1566-1566 BrakeSystem typically 有 part BrakeCaliper
(typicallyContainsPart BrakeDrum DrumBrake) Cars.kif 670-670 DrumBrake typically 有 part BrakeDrum
(typicallyContainsPart BrakeMasterCylinder BrakeSystem) Cars.kif 1639-1639 BrakeSystem typically 有 part BrakeMasterCylinder
(typicallyContainsPart BrakeRotor DiscBrake) Cars.kif 664-664 DiscBrake typically 有 part BrakeRotor
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1236-1236 汽车 typically 有 part BrakeSystem
(typicallyContainsPart Caffeine Coffee) Food.kif 635-635 咖啡 typically 有 part Caffeine
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1722-1722 AutomobileExhaustSystem typically 有 part CatalyticConverter
(typicallyContainsPart ChevroletEngine ChevroletAutomobile) Cars.kif 5032-5032 ChevroletAutomobile typically 有 part ChevroletEngine
(typicallyContainsPart Crankshaft Crankcase) Cars.kif 342-342 Crankcase typically 有 part Crankshaft
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339 IntermittentCombustionEngine typically 有 part Crankshaft
(typicallyContainsPart EngineCoolingSystem Pump) Cars.kif 2124-2124 泵 typically 有 part EngineCoolingSystem
(typicallyContainsPart EngineWaterPump EngineCoolingSystem) Cars.kif 2770-2770 EngineCoolingSystem typically 有 part EngineWaterPump
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem) Cars.kif 2611-2611 AutomobileExhaustSystem typically 有 part ExhaustManifold
(typicallyContainsPart ExhaustValve FourStrokeEngine) Cars.kif 2647-2647 FourStrokeEngine typically 有 part ExhaustValve
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1583-1583 枪 typically 有 part 枪扳机
(typicallyContainsPart IgnitionCoil Automobile) Cars.kif 3202-3202 汽车 typically 有 part IgnitionCoil
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3265-3265 AutomobileIgnitionSystem typically 有 part IgnitionControlModule
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2672-2672 FourStrokeEngine typically 有 part IntakeValve

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