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 15054-15055
(domain manufacturer 2 AutonomousAgent) Mid-level-ontology.kif 15057-15057 manufacturer, 2 and AutonomousAgent
(domainSubclass manufacturer 1 Object) Mid-level-ontology.kif 15056-15056 域子類 manufacturer, 1 and Object
(instance manufacturer BinaryPredicate) Mid-level-ontology.kif 15053-15053 manufacturer and BinaryPredicate

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


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

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 3476-3486

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


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))
Cars.kif 5094-5097 Object 子類 Object and HandToolBox manufacturer Object and SortimoCorp

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


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 103-103 manufacturer AppleComputer and 蘋果
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 972-972 manufacturer 系统管理控制器 and 蘋果
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4952-4952 manufacturer ChevroletAutomobile and GeneralMotorsCorp
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4493-4493 manufacturer CommodoreAutomobile and HoldenCorporation
(manufacturer CommodoreWheel HoldenCorporation) Cars.kif 4499-4499 manufacturer CommodoreWheel and HoldenCorporation
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5105-5105 manufacturer Corvette and GeneralMotorsCorp
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5150-5150 manufacturer CosworthEngine and CosworthCorp
(manufacturer FitbitDevice FitbitCompany) Medicine.kif 4463-4463 manufacturer FitbitDevice and FitbitCompany
(manufacturer FordAutomobile FordCorporation) Cars.kif 4899-4899 manufacturer FordAutomobile and FordCorporation
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5101-5101 manufacturer GMLs1V8engine and GeneralMotorsCorp
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4566-4566 manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4670-4670 manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4853-4853 manufacturer HoldenToranaAutomobile and HoldenCorporation
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5140-5140 manufacturer IconHelmet and IconMotorcyleEquipmentCorporation
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4840-4840 manufacturer MiniCooper and BritishMotorCorp
(manufacturer Pedialyte AbbottLaboratories) Medicine.kif 4813-4813 manufacturer Pedialyte and AbbottLaboratories
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 4998-4998 manufacturer PeterbiltTruck and PeterbiltCorp
(manufacturer Rinvoq AbbVie) Medicine.kif 5554-5554 manufacturer Rinvoq and AbbVie
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4699-4699 manufacturer RoverV8Engine and RoverGroup
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4723-4723 manufacturer SeagullOutboard and BritishSeagullCorp
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4829-4829 manufacturer SimmonsWheelRim and SimmonsCorp
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4949-4949 manufacturer SnapOnRatchet and SnapOnTools
(manufacturer Valvoline MotorOil) Medicine.kif 3848-3848 manufacturer Valvoline and 機油
(manufacturer Zyrtec JohnsonAndJohnson) Medicine.kif 2988-2988 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