TreeView Knowledge Base Browser

appearance as argument number 1

(documentation manufacturer EnglishLanguage "A relation between a class of Objects and an Agent that is responsible for the Manufacture of that object.")	Mid-level-ontology.kif 14491-14492
(domain manufacturer 2 Agent)	Mid-level-ontology.kif 14494-14494
(domainSubclass manufacturer 1 Object)	Mid-level-ontology.kif 14493-14493
(instance manufacturer BinaryPredicate)	Mid-level-ontology.kif 14490-14490

appearance as argument number 2

Mid-level-ontology.kif 14495-14495

antecedent

(=> (and (deviceOS ?C ?OS) (instance ?CI ?C) (instance ?OSI ?OS) (manufacturer ?C ?ORG)) (desires ?ORG (and (programRunning ?PROC ?OSI) (computerRunning ?PROC ?CI))))	ComputingBrands.kif 702-711
(=> (and (instance ?J Jailbreaking) (instance ?D Computer) (patient ?J ?D) (manufacturer ?D ?C)) (not (desires ?C (exists (?A) (agent ?J ?A)))))	ComputingBrands.kif 3442-3451

statement

(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))

Cars.kif 5112-5115

appearance as argument number 0

(manufacturer AppleComputer AppleComputerCorporation)	ComputingBrands.kif 96-96
(manufacturer AppleSystemManagementController AppleComputerCorporation)	ComputingBrands.kif 940-940
(manufacturer ChevroletAutomobile GeneralMotorsCorp)	Cars.kif 4970-4970
(manufacturer CommodoreAutomobile HoldenCorporation)	Cars.kif 4511-4511
(manufacturer CommodoreWheel HoldenCorporation)	Cars.kif 4517-4517
(manufacturer Corvette GeneralMotorsCorp)	Cars.kif 5123-5123
(manufacturer CosworthEngine CosworthCorp)	Cars.kif 5168-5168
(manufacturer FordAutomobile FordCorporation)	Cars.kif 4917-4917
(manufacturer GMLs1V8engine GeneralMotorsCorp)	Cars.kif 5119-5119
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp)	Cars.kif 4584-4584
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp)	Cars.kif 4688-4688
(manufacturer HoldenToranaAutomobile HoldenCorporation)	Cars.kif 4871-4871
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation)	Cars.kif 5158-5158
(manufacturer MiniCooper BritishMotorCorp)	Cars.kif 4858-4858
(manufacturer PeterbiltTruck PeterbiltCorp)	Cars.kif 5016-5016
(manufacturer RoverV8Engine RoverGroup)	Cars.kif 4717-4717
(manufacturer SeagullOutboard BritishSeagullCorp)	Cars.kif 4741-4741
(manufacturer SimmonsWheelRim SimmonsCorp)	Cars.kif 4847-4847
(manufacturer SnapOnRatchet SnapOnTools)	Cars.kif 4967-4967