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 Le nombre 1 argument de typicallyContainsPart est une sous-classe de objet
(domainSubclass typicallyContainsPart 2 Object) Mid-level-ontology.kif 25309-25309 Le nombre 2 argument de typicallyContainsPart est une sous-classe de objet
(instance typicallyContainsPart BinaryPredicate) Mid-level-ontology.kif 25300-25300 typicallyContainsPart est une instance de pr�dicat binaire
(instance typicallyContainsPart SpatialRelation) Mid-level-ontology.kif 25301-25301 typicallyContainsPart est une instance de relation spatial
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 25302-25302 typicallyContainsPart est reli� � l'int�rieur de SUMO � part
(relatedInternalConcept typicallyContainsPart typicalPart) Cars.kif 347-347 typicallyContainsPart est reli� � l'int�rieur de SUMO � typicalPart

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 est reli� � l'int�rieur de SUMO � typicallyContainsPart
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59742-59742 typicallyContainsTemporalPart est reli� � l'int�rieur de SUMO � typicallyContainsPart
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分") domainEnglishFormat.kif 59741-59741 typicallyContainsTemporalPart est reli� � l'int�rieur de SUMO � typicallyContainsPart
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") domainEnglishFormat.kif 59740-59740 typicallyContainsTemporalPart est reli� � l'int�rieur de SUMO � typicallyContainsPart

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 typicallyContainsPart AirConditioningCompressor and AirConditioner
(typicallyContainsPart AirConditioningCondenser AirConditioner) Cars.kif 2035-2035 typicallyContainsPart AirConditioningCondenser and AirConditioner
(typicallyContainsPart AirConditioningEvaporator AirConditioner) Cars.kif 2059-2059 typicallyContainsPart AirConditioningEvaporator and AirConditioner
(typicallyContainsPart Alternator Vehicle) Cars.kif 1212-1212 typicallyContainsPart Alternator and Vehicle
(typicallyContainsPart AutoAirbag Automobile) Cars.kif 3691-3691 typicallyContainsPart AutoAirbag and Automobile
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 726-726 typicallyContainsPart AutoSuspensionSystem and Automobile
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 869-869 typicallyContainsPart AutomobileShock and Automobile
(typicallyContainsPart BrakeCaliper BrakeSystem) Cars.kif 1566-1566 typicallyContainsPart BrakeCaliper and BrakeSystem
(typicallyContainsPart BrakeDrum DrumBrake) Cars.kif 670-670 typicallyContainsPart BrakeDrum and DrumBrake
(typicallyContainsPart BrakeMasterCylinder BrakeSystem) Cars.kif 1639-1639 typicallyContainsPart BrakeMasterCylinder and BrakeSystem
(typicallyContainsPart BrakeRotor DiscBrake) Cars.kif 664-664 typicallyContainsPart BrakeRotor and DiscBrake
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1236-1236 typicallyContainsPart BrakeSystem and Automobile
(typicallyContainsPart Caffeine Coffee) Food.kif 635-635 typicallyContainsPart Caffeine and Coffee
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem) Cars.kif 1722-1722 typicallyContainsPart CatalyticConverter and AutomobileExhaustSystem
(typicallyContainsPart ChevroletEngine ChevroletAutomobile) Cars.kif 5032-5032 typicallyContainsPart ChevroletEngine and ChevroletAutomobile
(typicallyContainsPart Crankshaft Crankcase) Cars.kif 342-342 typicallyContainsPart Crankshaft and Crankcase
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339 typicallyContainsPart Crankshaft and IntermittentCombustionEngine
(typicallyContainsPart EngineCoolingSystem Pump) Cars.kif 2124-2124 typicallyContainsPart EngineCoolingSystem and Pump
(typicallyContainsPart EngineWaterPump EngineCoolingSystem) Cars.kif 2770-2770 typicallyContainsPart EngineWaterPump and EngineCoolingSystem
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem) Cars.kif 2611-2611 typicallyContainsPart ExhaustManifold and AutomobileExhaustSystem
(typicallyContainsPart ExhaustValve FourStrokeEngine) Cars.kif 2647-2647 typicallyContainsPart ExhaustValve and FourStrokeEngine
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1583-1583 typicallyContainsPart GunTrigger and Gun
(typicallyContainsPart IgnitionCoil Automobile) Cars.kif 3202-3202 typicallyContainsPart IgnitionCoil and Automobile
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3265-3265 typicallyContainsPart IgnitionControlModule and AutomobileIgnitionSystem
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2672-2672 typicallyContainsPart IntakeValve and FourStrokeEngine

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