| 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 | 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 23667-23667 | 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 23659-23659 | typically contains part is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23660-23660 | typically contains part is an instance of spatial relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23661-23661 | 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 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 | typically contains temporal part is internally related to typically contains part |
| 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 |
|
|
| 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 3630-3630 | 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 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 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 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 1715-1715 | A exhaust system typically has a part catalytic converter |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4971-4971 | 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 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 1366-1366 | 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 |
| 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