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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23661-23664
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23665-23665 Le nombre 1 argument de typicallyContainsPart est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23666-23666 Le nombre 2 argument de typicallyContainsPart est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23658-23658 typicallyContainsPart est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23659-23659 typicallyContainsPart est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23660-23660 typicallyContainsPart est reli� � l'int�rieur de SUMO � part
No TPTP formula. May not be expressible in strict first order. Cars.kif 347-347 typicallyContainsPart est reli� � l'int�rieur de SUMO � typicalPart

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4846-4846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4845-4845
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4844-4844
No TPTP formula. May not be expressible in strict first order. Cars.kif 1474-1474 typicallyContainsTemporalPart est reli� � l'int�rieur de SUMO � typicallyContainsPart
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59750-59750
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59749-59749
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59748-59748

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23676-23693
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23668-23674

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2013-2013 typicallyContainsPart AirConditioningCompressor and AirConditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 2057-2057 typicallyContainsPart AirConditioningCondenser and AirConditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 2081-2081 typicallyContainsPart AirConditioningEvaporator and AirConditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 1212-1212 typicallyContainsPart Alternator and Vehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 3638-3638 typicallyContainsPart AutoAirbag and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 726-726 typicallyContainsPart AutoSuspensionSystem and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 869-869 typicallyContainsPart AutomobileShock and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 1565-1565 typicallyContainsPart BrakeCaliper and BrakeSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 670-670 typicallyContainsPart BrakeDrum and DrumBrake
No TPTP formula. May not be expressible in strict first order. Cars.kif 1638-1638 typicallyContainsPart BrakeMasterCylinder and BrakeSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 664-664 typicallyContainsPart BrakeRotor and DiscBrake
No TPTP formula. May not be expressible in strict first order. Cars.kif 1236-1236 typicallyContainsPart BrakeSystem and Automobile
No TPTP formula. May not be expressible in strict first order. Food.kif 635-635 typicallyContainsPart Caffeine and Coffee
No TPTP formula. May not be expressible in strict first order. Cars.kif 1721-1721 typicallyContainsPart CatalyticConverter and AutomobileExhaustSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 4979-4979 typicallyContainsPart ChevroletEngine and ChevroletAutomobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 342-342 typicallyContainsPart Crankshaft and Crankcase
No TPTP formula. May not be expressible in strict first order. Cars.kif 339-339 typicallyContainsPart Crankshaft and IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 2146-2146 typicallyContainsPart EngineCoolingSystem and Pump
No TPTP formula. May not be expressible in strict first order. Cars.kif 2792-2792 typicallyContainsPart EngineWaterPump and EngineCoolingSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 2633-2633 typicallyContainsPart ExhaustManifold and AutomobileExhaustSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 2669-2669 typicallyContainsPart ExhaustValve and FourStrokeEngine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1366-1366 typicallyContainsPart GunTrigger and Gun
No TPTP formula. May not be expressible in strict first order. Cars.kif 3149-3149 typicallyContainsPart IgnitionCoil and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3212-3212 typicallyContainsPart IgnitionControlModule and AutomobileIgnitionSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 2694-2694 typicallyContainsPart IntakeValve and FourStrokeEngine

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