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

Formal Language: 



KB Term:  Term intersection
English Word: 

  typicalPart

Sigma KEE - typicalPart
typicalPart

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21581-21584
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21585-21585 The number 1 argument of typical part is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21586-21586 The number 2 argument of typical part is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21578-21578 typical part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21579-21579 typical part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21580-21580 typical part is internally related to part

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4859-4859
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4858-4858
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4857-4857
No TPTP formula. May not be expressible in strict first order. Cars.kif 1430-1430 typicalTemporalPart is internally related to typical 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21722-21722 partTypes is a subrelation of typical part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59740-59740
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59739-59739
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59738-59738

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21596-21613
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21588-21594

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Biography.kif 203-232

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1993-1993 A air conditioning compressor is typically a part of a air conditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 2037-2037 A air conditioning condenser is typically a part of a air conditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 2061-2061 A air conditioning evaporator is typically a part of a air conditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 1202-1202 A alternator is typically a part of a vehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 727-727 A auto suspension system is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 831-831 A shock is typically a part of a auto suspension system
No TPTP formula. May not be expressible in strict first order. Cars.kif 859-859 A shock is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. engineering.kif 1069-1069 A base is typically a part of a bjt transistor
No TPTP formula. May not be expressible in strict first order. Cars.kif 1555-1555 A BrakeCaliper is typically a part of a brake system
No TPTP formula. May not be expressible in strict first order. Cars.kif 675-675 A BrakeCaliper is typically a part of a vehicle brake
No TPTP formula. May not be expressible in strict first order. Cars.kif 669-669 A BrakeDrum is typically a part of a drum brake
No TPTP formula. May not be expressible in strict first order. Cars.kif 1627-1627 A master cylinder is typically a part of a brake system
No TPTP formula. May not be expressible in strict first order. Cars.kif 655-655 A BrakePad is typically a part of a disc brake
No TPTP formula. May not be expressible in strict first order. Cars.kif 663-663 A BrakeRotor is typically a part of a disc brake
No TPTP formula. May not be expressible in strict first order. Cars.kif 600-600 A brake shoe is typically a part of a drum brake
No TPTP formula. May not be expressible in strict first order. Cars.kif 1242-1242 A brake system is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3684-3684 A CarAlarm is typically a part of a self powered road vehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 1710-1710 A catalytic converter is typically a part of a exhaust system
No TPTP formula. May not be expressible in strict first order. Cars.kif 4951-4951 A ChevroletEngine is typically a part of a ChevroletAutomobile
No TPTP formula. May not be expressible in strict first order. engineering.kif 1074-1074 A collector is typically a part of a bjt transistor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 269-269 A ComputerKeyboardKey is typically a part of a ComputerKeyboard_Generic
No TPTP formula. May not be expressible in strict first order. Cars.kif 341-341 A Crankshaft is typically a part of a Crankcase
No TPTP formula. May not be expressible in strict first order. Cars.kif 338-338 A Crankshaft is typically a part of a IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. engineering.kif 1078-1078 A emitter is typically a part of a bjt transistor
No TPTP formula. May not be expressible in strict first order. Cars.kif 3259-3259 A manifold absolute pressure sensor is typically a part of a exhaust manifold

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