![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1949-1952 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 247-247 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 394-394 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 396-396 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 395-395 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 397-397 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1948-1948 | Automobile is a subclass of passenger vehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | Automobile is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1947-1947 | Automobile is a subclass of self powered road vehicle |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1705-1705 | Automobile is an industry product type of automobile manufacturing |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4974-4974 | Chevrolet automobile is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4513-4513 | Commodore automobile is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5126-5126 | Corvette is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4917-4917 | Ford car is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4871-4871 | Holden Torana is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4859-4859 | Mini cooper is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1962-1962 | Taxicab is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9198-9198 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9197-9197 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9196-9196 | |
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 868-868 | A shock is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1237-1237 | A brake system is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3148-3148 | A ignition coil is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3975-3975 | A steering box is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3992-3992 | A steering column is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3997-3997 | A steering wheel is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4144-4144 | A tie rod is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29398-29398 | A vehicle door is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3638-3638 | 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 1236-1236 | A automobile typically has a part brake system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3149-3149 | A automobile typically has a part ignition coil |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |