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

Formal Language: 



KB Term:  Term intersection
English Word: 

  typicallyContainsPart

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 23611-23614
(domainSubclass typicallyContainsPart 1 Object) Mid-level-ontology.kif 23615-23615
(domainSubclass typicallyContainsPart 2 Object) Mid-level-ontology.kif 23616-23616
(instance typicallyContainsPart BinaryPredicate) Mid-level-ontology.kif 23608-23608
(instance typicallyContainsPart SpatialRelation) Mid-level-ontology.kif 23609-23609
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 23610-23610
(relatedInternalConcept typicallyContainsPart typicalPart) Cars.kif 347-347

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


(format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4854-4854
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ") domainEnglishFormat.kif 4853-4853
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") domainEnglishFormat.kif 4852-4852
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Cars.kif 1474-1474
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59724-59724
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59723-59723
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") domainEnglishFormat.kif 59722-59722

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 23626-23643
(=>
    (typicallyContainsPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (part ?Y ?X))))
Mid-level-ontology.kif 23618-23624

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


(typicallyContainsPart AirConditioningCompressor AirConditioner) Cars.kif 2007-2007
(typicallyContainsPart AirConditioningCondenser AirConditioner) Cars.kif 2051-2051
(typicallyContainsPart AirConditioningEvaporator AirConditioner) Cars.kif 2075-2075
(typicallyContainsPart Alternator Vehicle) Cars.kif 1212-1212
(typicallyContainsPart AutoAirbag Automobile) Cars.kif 3630-3630
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 726-726
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 869-869
(typicallyContainsPart BrakeCaliper BrakeSystem) Cars.kif 1560-1560
(typicallyContainsPart BrakeDrum DrumBrake) Cars.kif 670-670
(typicallyContainsPart BrakeMasterCylinder BrakeSystem) Cars.kif 1632-1632
(typicallyContainsPart BrakeRotor DiscBrake) Cars.kif 664-664
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1236-1236
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1715-1715
(typicallyContainsPart ChevroletEngine ChevroletAutomobile) Cars.kif 4971-4971
(typicallyContainsPart Crankshaft Crankcase) Cars.kif 342-342
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339
(typicallyContainsPart EngineCoolingSystem Pump) Cars.kif 2140-2140
(typicallyContainsPart EngineWaterPump EngineCoolingSystem) Cars.kif 2786-2786
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem) Cars.kif 2627-2627
(typicallyContainsPart ExhaustValve FourStrokeEngine) Cars.kif 2663-2663
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1333-1333
(typicallyContainsPart IgnitionCoil Automobile) Cars.kif 3141-3141
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3204-3204
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2688-2688
(typicallyContainsPart LightBulb LightFixture) Cars.kif 5092-5092

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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