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 AutonomousAgent that is responsible for the Manufacture of that object.") Mid-level-ontology.kif 16400-16401
(domain manufacturer 2 AutonomousAgent) Mid-level-ontology.kif 16403-16403 manufacturer の数値 2 引数は AutonomousAgentinstance では
(domainSubclass manufacturer 1 Object) Mid-level-ontology.kif 16402-16402 manufacturer の数値 1 引数は オブジェクトsubclass では
(instance manufacturer BinaryPredicate) Mid-level-ontology.kif 16399-16399 manufacturer2進述語instance では

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


(format EnglishLanguage manufacturer "the maker of %1 is %2") Mid-level-ontology.kif 16404-16404
(termFormat EnglishLanguage manufacturer "manufacturer") domainEnglishFormat.kif 65877-65877

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 734-743
(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (instance ?D ?CLASS)
        (patient ?J ?D)
        (manufacturer ?CLASS ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3472-3482

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


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))
Cars.kif 5170-5173 オブジェクト オブジェクトHandToolBoxsubclass では manufacturer オブジェクト and SortimoCorp

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


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 103-103 manufacturer AppleComputer and Apple
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 972-972 manufacturer システム管理コントローラ and Apple
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 5028-5028 manufacturer ChevroletAutomobile and GeneralMotorsCorp
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4569-4569 manufacturer CommodoreAutomobile and HoldenCorporation
(manufacturer CommodoreWheel HoldenCorporation) Cars.kif 4575-4575 manufacturer CommodoreWheel and HoldenCorporation
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5181-5181 manufacturer Corvette and GeneralMotorsCorp
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5226-5226 manufacturer CosworthEngine and CosworthCorp
(manufacturer FitbitDevice FitbitCompany) Medicine.kif 4470-4470 manufacturer FitbitDevice and FitbitCompany
(manufacturer FordAutomobile FordCorporation) Cars.kif 4975-4975 manufacturer FordAutomobile and FordCorporation
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5177-5177 manufacturer GMLs1V8engine and GeneralMotorsCorp
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4642-4642 manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4746-4746 manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4929-4929 manufacturer HoldenToranaAutomobile and HoldenCorporation
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5216-5216 manufacturer IconHelmet and IconMotorcyleEquipmentCorporation
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4916-4916 manufacturer MiniCooper and BritishMotorCorp
(manufacturer Pedialyte AbbottLaboratories) Medicine.kif 4820-4820 manufacturer Pedialyte and AbbottLaboratories
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 5074-5074 manufacturer PeterbiltTruck and PeterbiltCorp
(manufacturer Rinvoq AbbVie) Medicine.kif 5563-5563 manufacturer Rinvoq and AbbVie
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4775-4775 manufacturer RoverV8Engine and RoverGroup
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4799-4799 manufacturer SeagullOutboard and BritishSeagullCorp
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4905-4905 manufacturer SimmonsWheelRim and SimmonsCorp
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 5025-5025 manufacturer SnapOnRatchet and SnapOnTools
(manufacturer Valvoline MotorOil) Medicine.kif 3851-3851 manufacturer Valvoline and MotorOil
(manufacturer Zyrtec JohnsonAndJohnson) Medicine.kif 2989-2989 manufacturer Zyrtec and JohnsonAndJohnson


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 3.0 is open source software produced by Articulate Software and its partners