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 23662-23665
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23666-23666 O argumento numero 1 de typicallyContainsPart e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23667-23667 O argumento numero 2 de typicallyContainsPart e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23659-23659 typicallyContainsPart e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23660-23660 typicallyContainsPart e' uma instancia de Relacao Espacial
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23661-23661 typicallyContainsPart e' relacionado internamente por SUMO a part
No TPTP formula. May not be expressible in strict first order. Cars.kif 347-347 typicallyContainsPart e' relacionado internamente por SUMO a 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 e' relacionado internamente por SUMO a 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 23677-23694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23669-23675

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2007-2007 typicallyContainsPart AirConditioningCompressor and AirConditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 2051-2051 typicallyContainsPart AirConditioningCondenser and AirConditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 2075-2075 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 3630-3630 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 1560-1560 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 1632-1632 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 1715-1715 typicallyContainsPart CatalyticConverter and AutomobileExhaustSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 4971-4971 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 2140-2140 typicallyContainsPart EngineCoolingSystem and Pump
No TPTP formula. May not be expressible in strict first order. Cars.kif 2786-2786 typicallyContainsPart EngineWaterPump and EngineCoolingSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 2627-2627 typicallyContainsPart ExhaustManifold and AutomobileExhaustSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 2663-2663 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 3141-3141 typicallyContainsPart IgnitionCoil and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3204-3204 typicallyContainsPart IgnitionControlModule and AutomobileIgnitionSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 2688-2688 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