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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23109-23112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23113-23113 The number 1 argument of typically contains part is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23114-23114 The number 2 argument of typically contains part is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23106-23106 typically contains part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23107-23107 typically contains part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23108-23108 typically contains part is internally related to part
No TPTP formula. May not be expressible in strict first order. Cars.kif 347-347 typically contains part is internally related to typical part

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4855-4855
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4854-4854
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4853-4853
No TPTP formula. May not be expressible in strict first order. Cars.kif 1474-1474 typicallyContainsTemporalPart is internally related to typically contains part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59717-59717
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59716-59716
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59715-59715

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23124-23141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23116-23122

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2007-2007 A air conditioner typically has a part air conditioning compressor
No TPTP formula. May not be expressible in strict first order. Cars.kif 2051-2051 A air conditioner typically has a part air conditioning condenser
No TPTP formula. May not be expressible in strict first order. Cars.kif 2075-2075 A air conditioner typically has a part air conditioning evaporator
No TPTP formula. May not be expressible in strict first order. Cars.kif 1212-1212 A vehicle typically has a part alternator
No TPTP formula. May not be expressible in strict first order. Cars.kif 3634-3634 A automobile typically has a part airbag
No TPTP formula. May not be expressible in strict first order. Cars.kif 726-726 A automobile typically has a part auto suspension system
No TPTP formula. May not be expressible in strict first order. Cars.kif 869-869 A automobile typically has a part shock
No TPTP formula. May not be expressible in strict first order. Cars.kif 1560-1560 A brake system typically has a part BrakeCaliper
No TPTP formula. May not be expressible in strict first order. Cars.kif 670-670 A drum brake typically has a part BrakeDrum
No TPTP formula. May not be expressible in strict first order. Cars.kif 1632-1632 A brake system typically has a part master cylinder
No TPTP formula. May not be expressible in strict first order. Cars.kif 664-664 A disc brake typically has a part BrakeRotor
No TPTP formula. May not be expressible in strict first order. Cars.kif 1236-1236 A automobile typically has a part brake system
No TPTP formula. May not be expressible in strict first order. Cars.kif 1715-1715 A exhaust system typically has a part catalytic converter
No TPTP formula. May not be expressible in strict first order. Cars.kif 4974-4974 A ChevroletAutomobile typically has a part ChevroletEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 342-342 A Crankcase typically has a part Crankshaft
No TPTP formula. May not be expressible in strict first order. Cars.kif 339-339 A IntermittentCombustionEngine typically has a part Crankshaft
No TPTP formula. May not be expressible in strict first order. Cars.kif 2140-2140 A pump typically has a part engine cooling system
No TPTP formula. May not be expressible in strict first order. Cars.kif 2786-2786 A engine cooling system typically has a part engine water pump
No TPTP formula. May not be expressible in strict first order. Cars.kif 2627-2627 A exhaust system typically has a part exhaust manifold
No TPTP formula. May not be expressible in strict first order. Cars.kif 2663-2663 A four stroke engine typically has a part exhaust valve
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1327-1327 A gun typically has a part gun trigger
No TPTP formula. May not be expressible in strict first order. Cars.kif 3141-3141 A automobile typically has a part ignition coil
No TPTP formula. May not be expressible in strict first order. Cars.kif 3204-3204 A automobile ignition system typically has a part ignition control module
No TPTP formula. May not be expressible in strict first order. Cars.kif 2688-2688 A four stroke engine typically has a part intake valve
No TPTP formula. May not be expressible in strict first order. Cars.kif 5095-5095 A light fixture typically has a part light bulb

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