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

Formal Language: 



KB Term:  Term intersection
English Word: 

  manufacturer

Sigma KEE - manufacturer
manufacturer

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
-------------------------


(format EnglishLanguage manufacturer "the maker of %1 is %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


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

Show without tree


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