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.") Cars.kif 4480-4481
(domain manufacturer 2 Agent) Cars.kif 4483-4483
(domainSubclass manufacturer 1 Object) Cars.kif 4482-4482
(instance manufacturer BinaryPredicate) Cars.kif 4479-4479

appearance as argument number 2
-------------------------


(format EnglishLanguage manufacturer "the maker of %1 is %2") Cars.kif 4484-4484

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 709-718
(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3466-3475

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


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))
Cars.kif 5090-5093

appearance as argument number 0
-------------------------


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 100-100
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 947-947
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4948-4948
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4489-4489
(manufacturer CommodoreWheel HoldenCorporation) Cars.kif 4495-4495
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5101-5101
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5146-5146
(manufacturer FordAutomobile FordCorporation) Cars.kif 4895-4895
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5097-5097
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4562-4562
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4666-4666
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4849-4849
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5136-5136
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4836-4836
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 4994-4994
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4695-4695
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4719-4719
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4825-4825
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4945-4945


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