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

Formal Language: 


KB Term:  Term intersection
English Word: 

  PseudoGraph

Sigma KEE - typicallyContainsPart
typicallyContainsPart

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25306-25309
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25310-25310 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 25311-25311 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 25302-25302 typically contains part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25303-25303 typically contains part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25304-25304 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 4852-4852
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4851-4851
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4850-4850
No TPTP formula. May not be expressible in strict first order. Cars.kif 1474-1474 typically contains temporal part is internally related to typically contains part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59742-59742 typically contains temporal part is internally related to typically contains part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59741-59741 typically contains temporal part is internally related to typically contains part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59740-59740 typically contains temporal part is internally related to typically contains part

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25321-25338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25313-25319

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1991-1991 A air conditioner typically has a part air conditioning compressor
No TPTP formula. May not be expressible in strict first order. Cars.kif 2035-2035 A air conditioner typically has a part air conditioning condenser
No TPTP formula. May not be expressible in strict first order. Cars.kif 2059-2059 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 3691-3691 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 1566-1566 A brake system typically has a part brake caliper
No TPTP formula. May not be expressible in strict first order. Cars.kif 670-670 A drum brake typically has a part brake drum
No TPTP formula. May not be expressible in strict first order. Cars.kif 1639-1639 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 brake rotor
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. Food.kif 635-635 A coffee typically has a part caffeine
No TPTP formula. May not be expressible in strict first order. Cars.kif 1722-1722 A exhaust system typically has a part catalytic converter
No TPTP formula. May not be expressible in strict first order. Cars.kif 5032-5032 A Chevrolet automobile typically has a part Chevrolet engine
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 intermittent combustion engine typically has a part crankshaft
No TPTP formula. May not be expressible in strict first order. Cars.kif 2124-2124 A pump typically has a part engine cooling system
No TPTP formula. May not be expressible in strict first order. Cars.kif 2770-2770 A engine cooling system typically has a part engine water pump
No TPTP formula. May not be expressible in strict first order. Cars.kif 2611-2611 A exhaust system typically has a part exhaust manifold
No TPTP formula. May not be expressible in strict first order. Cars.kif 2647-2647 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 1583-1583 A gun typically has a part gun trigger
No TPTP formula. May not be expressible in strict first order. Cars.kif 3202-3202 A automobile typically has a part ignition coil
No TPTP formula. May not be expressible in strict first order. Cars.kif 3265-3265 A automobile ignition system typically has a part ignition control module
No TPTP formula. May not be expressible in strict first order. Cars.kif 2672-2672 A four stroke engine typically has a part intake valve

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