manufacturer - Sigma Knowledge base Browser

appearance as argument number 1

(documentation manufacturer EnglishLanguage "A relation between a class of Objects and an AutonomousAgent that is responsible for the Manufacture of that object.")	Mid-level-ontology.kif 16389-16390
(domain manufacturer 2 AutonomousAgent)	Mid-level-ontology.kif 16392-16392	The number 2 argument of manufacturer is an instance of agent
(domainSubclass manufacturer 1 Object)	Mid-level-ontology.kif 16391-16391	The number 1 argument of manufacturer is a subclass of object
(instance manufacturer BinaryPredicate)	Mid-level-ontology.kif 16388-16388	manufacturer is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage manufacturer "the maker of %1 is %2")	Mid-level-ontology.kif 16393-16393
(termFormat EnglishLanguage manufacturer "manufacturer")	domainEnglishFormat.kif 65876-65876

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 734-743	If device OS a kind of object and a kind of computer and a kind of objectI is an instance of the kind of object and a kind of computerI is an instance of the kind of computer and the maker of the kind of object is a cognitive agent, then the cognitive agent desires the kind of computerI is a program running of a third entity and the third entity is running on the kind of objectI
(=> (and (instance ?J Jailbreaking) (instance ?D Computer) (instance ?D ?CLASS) (patient ?J ?D) (manufacturer ?CLASS ?C)) (not (desires ?C (exists (?A) (agent ?J ?A)))))	ComputingBrands.kif 3472-3482	If a process is an instance of cracking and an entity is an instance of computer and the entity is an instance of a kind of object and the entity is a patient of the process and the maker of a kind of object is a cognitive agent, then the cognitive agent doesn't desire there exists another entity such that the other entity is an agent of the process

statement

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

Cars.kif 5170-5173

There exists a kind of object such that a kind of object is a subclass of tool box and the maker of the kind of object is Sortimo Corporation

appearance as argument number 0

(manufacturer AppleComputer AppleComputerCorporation)	ComputingBrands.kif 103-103	The maker of Apple Computer is Apple
(manufacturer AppleSystemManagementController AppleComputerCorporation)	ComputingBrands.kif 972-972	The maker of System Management Controller is Apple
(manufacturer ChevroletAutomobile GeneralMotorsCorp)	Cars.kif 5028-5028	The maker of Chevrolet automobile is General Motors
(manufacturer CommodoreAutomobile HoldenCorporation)	Cars.kif 4569-4569	The maker of commodore automobile is Holden Corporation
(manufacturer CommodoreWheel HoldenCorporation)	Cars.kif 4575-4575	The maker of Commodore wheel is Holden Corporation
(manufacturer Corvette GeneralMotorsCorp)	Cars.kif 5181-5181	The maker of Corvette is General Motors
(manufacturer CosworthEngine CosworthCorp)	Cars.kif 5226-5226	The maker of Cosworth engine is Cosworth Corporation
(manufacturer FitbitDevice FitbitCompany)	Medicine.kif 4470-4470	The maker of Fitbit is Fitbit
(manufacturer FordAutomobile FordCorporation)	Cars.kif 4975-4975	The maker of Ford car is Ford
(manufacturer GMLs1V8engine GeneralMotorsCorp)	Cars.kif 5177-5177	The maker of ls1 engine is General Motors
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp)	Cars.kif 4642-4642	The maker of knucklehead is Harley Davidson
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp)	Cars.kif 4746-4746	The maker of panhead is Harley Davidson
(manufacturer HoldenToranaAutomobile HoldenCorporation)	Cars.kif 4929-4929	The maker of Holden Torana is Holden Corporation
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation)	Cars.kif 5216-5216	The maker of Icon helmet is Icon Corporation
(manufacturer MiniCooper BritishMotorCorp)	Cars.kif 4916-4916	The maker of mini cooper is British Motors
(manufacturer Pedialyte AbbottLaboratories)	Medicine.kif 4820-4820	The maker of Pedialyte is Abbott
(manufacturer PeterbiltTruck PeterbiltCorp)	Cars.kif 5074-5074	The maker of Peterbilt truck is Peterbilt
(manufacturer Rinvoq AbbVie)	Medicine.kif 5563-5563	The maker of Rinvoq is AbbVie
(manufacturer RoverV8Engine RoverGroup)	Cars.kif 4775-4775	The maker of Rover v8 is Rover group
(manufacturer SeagullOutboard BritishSeagullCorp)	Cars.kif 4799-4799	The maker of Seagull outboard is British Seagull corp
(manufacturer SimmonsWheelRim SimmonsCorp)	Cars.kif 4905-4905	The maker of Simmons wheel is Simmons corp
(manufacturer SnapOnRatchet SnapOnTools)	Cars.kif 5025-5025	The maker of Snap_On ratchet is Snap_on Tools
(manufacturer Valvoline MotorOil)	Medicine.kif 3851-3851	The maker of Valvoline is motor oil
(manufacturer Zyrtec JohnsonAndJohnson)	Medicine.kif 2989-2989	The maker of Cetirizine is JohnsonAndJohnson

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: