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 Agent that is responsible for the Manufacture of that object.") Cars.kif 4479-4480
(domain manufacturer 2 Agent) Cars.kif 4482-4482 domain manufacturer, 2 and Agent
(domainSubclass manufacturer 1 Object) Cars.kif 4481-4481 domainSubclass manufacturer, 1 and Object
(instance manufacturer BinaryPredicate) Cars.kif 4478-4478 instance manufacturer and BinaryPredicate

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


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

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 711-720
(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3471-3480

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


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))
Cars.kif 5089-5092 Agent subclass Agent and HandToolBox manufacturer SortimoCorp and Agent

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


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 100-100 manufacturer AppleComputer and Apple
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 949-949 manufacturer システム管理コントローラ and Apple
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4947-4947 manufacturer ChevroletAutomobile and GeneralMotorsCorp
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4488-4488 manufacturer CommodoreAutomobile and HoldenCorporation
(manufacturer CommodoreWheel HoldenCorporation) Cars.kif 4494-4494 manufacturer CommodoreWheel and HoldenCorporation
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5100-5100 manufacturer Corvette and GeneralMotorsCorp
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5145-5145 manufacturer CosworthEngine and CosworthCorp
(manufacturer FordAutomobile FordCorporation) Cars.kif 4894-4894 manufacturer FordAutomobile and FordCorporation
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5096-5096 manufacturer GMLs1V8engine and GeneralMotorsCorp
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4561-4561 manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4665-4665 manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4848-4848 manufacturer HoldenToranaAutomobile and HoldenCorporation
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5135-5135 manufacturer IconHelmet and IconMotorcyleEquipmentCorporation
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4835-4835 manufacturer MiniCooper and BritishMotorCorp
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 4993-4993 manufacturer PeterbiltTruck and PeterbiltCorp
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4694-4694 manufacturer RoverV8Engine and RoverGroup
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4718-4718 manufacturer SeagullOutboard and BritishSeagullCorp
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4824-4824 manufacturer SimmonsWheelRim and SimmonsCorp
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4944-4944 manufacturer SnapOnRatchet and SnapOnTools


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners