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 The number 2 argument of manufacturer is an instance of agent
(domainSubclass manufacturer 1 Object) Cars.kif 4481-4481 The number 1 argument of manufacturer is a subclass of object
(instance manufacturer BinaryPredicate) Cars.kif 4478-4478 manufacturer is an instance of binary predicate

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 There exists an agent such that the agent is a subclass of tool box and the maker of Sortimo Corporation is the agent

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


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 100-100 The maker of AppleComputer is Apple
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 949-949 The maker of System Management Controller is Apple
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4947-4947 The maker of ChevroletAutomobile is General Motors
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4488-4488 The maker of CommodoreAutomobile is Holden Corporation
(manufacturer CommodoreWheel HoldenCorporation) Cars.kif 4494-4494 The maker of Commodore wheel is Holden Corporation
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5100-5100 The maker of Corvette is General Motors
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5145-5145 The maker of Cosworth engine is Cosworth Corporation
(manufacturer FordAutomobile FordCorporation) Cars.kif 4894-4894 The maker of Ford car is Ford
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5096-5096 The maker of ls1 engine is General Motors
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4561-4561 The maker of knucklehead is Harley Davidson
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4665-4665 The maker of panhead is Harley Davidson
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4848-4848 The maker of Holden Torana is Holden Corporation
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5135-5135 The maker of Icon helmet is Icon Corporation
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4835-4835 The maker of mini cooper is British Motors
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 4993-4993 The maker of Peterbilt truck is Peterbilt
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4694-4694 The maker of Rover v8 is RoverGroup
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4718-4718 The maker of Seagull outboard is British Seagull corp
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4824-4824 The maker of Simmons wheel is SimmonsCorp
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4944-4944 The maker of Snap-On ratchet is Snap-on Tools


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