manufacturer |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15027-15028 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15030-15030 | 域 manufacturer, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15029-15029 | 域子類 manufacturer, 1 and Object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15026-15026 | 例 manufacturer and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15031-15031 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65868-65868 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 734-743 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3476-3486 |
statement |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5109-5112 | Object 子類 Object and HandToolBox manufacturer Object and SortimoCorp |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 103-103 | manufacturer AppleComputer and 蘋果 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 972-972 | manufacturer 系统管理控制器 and 蘋果 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4967-4967 | manufacturer ChevroletAutomobile and GeneralMotorsCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4508-4508 | manufacturer CommodoreAutomobile and HoldenCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4514-4514 | manufacturer CommodoreWheel and HoldenCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5120-5120 | manufacturer Corvette and GeneralMotorsCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5165-5165 | manufacturer CosworthEngine and CosworthCorp |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4463-4463 | manufacturer FitbitDevice and FitbitCompany |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4914-4914 | manufacturer FordAutomobile and FordCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5116-5116 | manufacturer GMLs1V8engine and GeneralMotorsCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4581-4581 | manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4685-4685 | manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4868-4868 | manufacturer HoldenToranaAutomobile and HoldenCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5155-5155 | manufacturer IconHelmet and IconMotorcyleEquipmentCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4855-4855 | manufacturer MiniCooper and BritishMotorCorp |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4813-4813 | manufacturer Pedialyte and AbbottLaboratories |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5013-5013 | manufacturer PeterbiltTruck and PeterbiltCorp |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5554-5554 | manufacturer Rinvoq and AbbVie |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4714-4714 | manufacturer RoverV8Engine and RoverGroup |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4738-4738 | manufacturer SeagullOutboard and BritishSeagullCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4844-4844 | manufacturer SimmonsWheelRim and SimmonsCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4964-4964 | manufacturer SnapOnRatchet and SnapOnTools |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3848-3848 | manufacturer Valvoline and 機油 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2988-2988 | manufacturer Zyrtec and JohnsonAndJohnson |