manufacturer |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15054-15055 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15057-15057 | Le nombre 2 argument de manufacturer est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15056-15056 | Le nombre 1 argument de manufacturer est une sous-classe de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15053-15053 | manufacturer est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15058-15058 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65870-65870 |
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 5094-5097 | Objet objet est une sous-classe de HandToolBox manufacturer objet 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 AppleComputerCorporation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 972-972 | manufacturer AppleSystemManagementController and AppleComputerCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4952-4952 | manufacturer ChevroletAutomobile and GeneralMotorsCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4493-4493 | manufacturer CommodoreAutomobile and HoldenCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4499-4499 | manufacturer CommodoreWheel and HoldenCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5105-5105 | manufacturer Corvette and GeneralMotorsCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5150-5150 | 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 4899-4899 | manufacturer FordAutomobile and FordCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5101-5101 | manufacturer GMLs1V8engine and GeneralMotorsCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4566-4566 | manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4670-4670 | manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4853-4853 | manufacturer HoldenToranaAutomobile and HoldenCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5140-5140 | manufacturer IconHelmet and IconMotorcyleEquipmentCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4840-4840 | 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 4998-4998 | 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 4699-4699 | manufacturer RoverV8Engine and RoverGroup |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4723-4723 | manufacturer SeagullOutboard and BritishSeagullCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4829-4829 | manufacturer SimmonsWheelRim and SimmonsCorp |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4949-4949 | manufacturer SnapOnRatchet and SnapOnTools |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3848-3848 | manufacturer Valvoline and MotorOil |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2988-2988 | manufacturer Zyrtec and JohnsonAndJohnson |