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 4478-4479
(domain manufacturer 2 Agent) Cars.kif 4481-4481 domain manufacturer, 2 and Agent
(domainSubclass manufacturer 1 Object) Cars.kif 4480-4480 domainSubclass manufacturer, 1 and Object
(instance manufacturer BinaryPredicate) Cars.kif 4477-4477 instance manufacturer and BinaryPredicate

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


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

antecedent
-------------------------


(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3289-3298

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


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))
Cars.kif 5088-5091 Agent subclass Agent and HandToolBox manufacturer SortimoCorp and Agent

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


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 99-99 manufacturer AppleComputer and Apple
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 863-863 manufacturer システム管理コントローラ and Apple
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4946-4946 manufacturer ChevroletAutomobile and GeneralMotorsCorp
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4487-4487 manufacturer CommodoreAutomobile and HoldenCorporation
(manufacturer CommodoreWheel Holden) Cars.kif 4493-4493 manufacturer CommodoreWheel and Holden
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5099-5099 manufacturer Corvette and GeneralMotorsCorp
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5144-5144 manufacturer CosworthEngine and CosworthCorp
(manufacturer FordAutomobile FordCorporation) Cars.kif 4893-4893 manufacturer FordAutomobile and FordCorporation
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5095-5095 manufacturer GMLs1V8engine and GeneralMotorsCorp
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4560-4560 manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4664-4664 manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4847-4847 manufacturer HoldenToranaAutomobile and HoldenCorporation
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5134-5134 manufacturer IconHelmet and IconMotorcyleEquipmentCorporation
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4834-4834 manufacturer MiniCooper and BritishMotorCorp
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 4992-4992 manufacturer PeterbiltTruck and PeterbiltCorp
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4693-4693 manufacturer RoverV8Engine and RoverGroup
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4717-4717 manufacturer SeagullOutboard and BritishSeagullCorp
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4823-4823 manufacturer SimmonsWheelRim and SimmonsCorp
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4943-4943 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