Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  manufacturer

 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 14962-14963
(domain manufacturer 2 AutonomousAgent) Mid-level-ontology.kif 14965-14965 Le nombre 2 argument de manufacturer est une instance de AutonomousAgent
(domainSubclass manufacturer 1 Object) Mid-level-ontology.kif 14964-14964 Le nombre 1 argument de manufacturer est une sous-classe de objet
(instance manufacturer BinaryPredicate) Mid-level-ontology.kif 14961-14961 manufacturer est une instance de pr�dicat binaire

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


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

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 3474-3484

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


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))		 Cars.kif 5109-5112 Objet objet est une sous-classe de HandToolBox manufacturer objet and SortimoCorp

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


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 103-103 manufacturer AppleComputer and AppleComputerCorporation
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 972-972 manufacturer AppleSystemManagementController and AppleComputerCorporation
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4967-4967 manufacturer ChevroletAutomobile and GeneralMotorsCorp
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4508-4508 manufacturer CommodoreAutomobile and HoldenCorporation
(manufacturer CommodoreWheel HoldenCorporation) Cars.kif 4514-4514 manufacturer CommodoreWheel and HoldenCorporation
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5120-5120 manufacturer Corvette and GeneralMotorsCorp
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5165-5165 manufacturer CosworthEngine and CosworthCorp
(manufacturer FordAutomobile FordCorporation) Cars.kif 4914-4914 manufacturer FordAutomobile and FordCorporation
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5116-5116 manufacturer GMLs1V8engine and GeneralMotorsCorp
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4581-4581 manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4685-4685 manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4868-4868 manufacturer HoldenToranaAutomobile and HoldenCorporation
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5155-5155 manufacturer IconHelmet and IconMotorcyleEquipmentCorporation
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4855-4855 manufacturer MiniCooper and BritishMotorCorp
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 5013-5013 manufacturer PeterbiltTruck and PeterbiltCorp
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4714-4714 manufacturer RoverV8Engine and RoverGroup
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4738-4738 manufacturer SeagullOutboard and BritishSeagullCorp
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4844-4844 manufacturer SimmonsWheelRim and SimmonsCorp
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4964-4964 manufacturer SnapOnRatchet and SnapOnTools


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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