![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3625-3627 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14853-14860 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6958-6958 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8216-8216 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 590-590 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14852-14852 | Vehicle is a subclass of transportation device |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1801-1801 | Agent powered vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15436-15436 | Aircraft is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1596-1596 | Armored vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1750-1750 | Cargo vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28288-28288 | DamagedVehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4004-4004 | Land vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 131-131 | Military vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1732-1732 | Passenger vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1783-1783 | Powered vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23723-23723 | Camper is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15330-15330 | Spacecraft is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1773-1773 | Unpowered vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4021-4021 | Water vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61330-61330 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61329-61329 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61328-61328 | |
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 1203-1203 | A vehicle typically has a part alternator |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1568-1568 | The number 1 argument of trip is an instance of vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 81-81 | The number 1 argument of maximum payload capacity is an instance of vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 109-109 | The number 1 argument of maximum payload height width is an instance of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14989-14989 | The number 2 argument of onboard is an instance of vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1703-1703 | The number 1 argument of topSpeed is an instance of vehicle |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28290-28294 | An object is an instance of DamagedVehicle if and only if the object is an instance of vehicle and DeviceDamaged is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14967-14971 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15008-15012 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8094-8107 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 463-469 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8451-8472 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1842-1854 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 132-141 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20212-20224 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3928-3933 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10871-10876 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4055-4057 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19719-19724 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3621-3626 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3632-3637 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3610-3615 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5010-5021 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2336-2338 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3318-3330 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3356-3362 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3985-3990 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12892-12900 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3650-3679 |
|
![]() |
![]() |