Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - manufacturer
manufacturer

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 15027-15028
(domain manufacturer 2 AutonomousAgent) Mid-level-ontology.kif 15030-15030 The number 2 argument of manufacturer is an instance of agent
(domainSubclass manufacturer 1 Object) Mid-level-ontology.kif 15029-15029 The number 1 argument of manufacturer is a subclass of object
(instance manufacturer BinaryPredicate) Mid-level-ontology.kif 15026-15026 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 15031-15031
(termFormat EnglishLanguage manufacturer "manufacturer") domainEnglishFormat.kif 65868-65868

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
(=>
    (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 3476-3486

statement
-------------------------


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))
Cars.kif 5109-5112 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 4967-4967 The maker of Chevrolet automobile is General Motors
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4508-4508 The maker of commodore automobile is Holden Corporation
(manufacturer CommodoreWheel HoldenCorporation) Cars.kif 4514-4514 The maker of Commodore wheel is Holden Corporation
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5120-5120 The maker of Corvette is General Motors
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5165-5165 The maker of Cosworth engine is Cosworth Corporation
(manufacturer FitbitDevice FitbitCompany) Medicine.kif 4463-4463 The maker of Fitbit is Fitbit
(manufacturer FordAutomobile FordCorporation) Cars.kif 4914-4914 The maker of Ford car is Ford
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5116-5116 The maker of ls1 engine is General Motors
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4581-4581 The maker of knucklehead is Harley Davidson
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4685-4685 The maker of panhead is Harley Davidson
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4868-4868 The maker of Holden Torana is Holden Corporation
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5155-5155 The maker of Icon helmet is Icon Corporation
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4855-4855 The maker of mini cooper is British Motors
(manufacturer Pedialyte AbbottLaboratories) Medicine.kif 4813-4813 The maker of Pedialyte is Abbott
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 5013-5013 The maker of Peterbilt truck is Peterbilt
(manufacturer Rinvoq AbbVie) Medicine.kif 5554-5554 The maker of Rinvoq is AbbVie
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4714-4714 The maker of Rover v8 is Rover group
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4738-4738 The maker of Seagull outboard is British Seagull corp
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4844-4844 The maker of Simmons wheel is Simmons corp
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4964-4964 The maker of Snap-On ratchet is Snap-on Tools
(manufacturer Valvoline MotorOil) Medicine.kif 3848-3848 The maker of Valvoline is motor oil
(manufacturer Zyrtec JohnsonAndJohnson) Medicine.kif 2988-2988 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