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.") Mid-level-ontology.kif 14495-14496
(domain manufacturer 2 Agent) Mid-level-ontology.kif 14498-14498 manufacturer 的 2 数量 是 施事体instance
(domainSubclass manufacturer 1 Object) Mid-level-ontology.kif 14497-14497 manufacturer 的 1 数量 是 客体subclass
(instance manufacturer BinaryPredicate) Mid-level-ontology.kif 14494-14494 manufacturer二元谓语instance

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


(format EnglishLanguage manufacturer "the maker of %1 is %2") Mid-level-ontology.kif 14499-14499

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 702-711
(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3442-3451

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


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))
Cars.kif 5112-5115 有存在 施事体 这样 那个 施事体HandToolBoxsubclassmanufacturer SortimoCorp and 那个 施事体

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


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 96-96 manufacturer AppleComputer and 苹果
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 940-940 manufacturer 系统管理控制器 and 苹果
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4970-4970 manufacturer ChevroletAutomobile and GeneralMotorsCorp
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4511-4511 manufacturer CommodoreAutomobile and HoldenCorporation
(manufacturer CommodoreWheel HoldenCorporation) Cars.kif 4517-4517 manufacturer CommodoreWheel and HoldenCorporation
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5123-5123 manufacturer Corvette and GeneralMotorsCorp
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5168-5168 manufacturer CosworthEngine and CosworthCorp
(manufacturer FordAutomobile FordCorporation) Cars.kif 4917-4917 manufacturer FordAutomobile and FordCorporation
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5119-5119 manufacturer GMLs1V8engine and GeneralMotorsCorp
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4584-4584 manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4688-4688 manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4871-4871 manufacturer HoldenToranaAutomobile and HoldenCorporation
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5158-5158 manufacturer IconHelmet and IconMotorcyleEquipmentCorporation
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4858-4858 manufacturer MiniCooper and BritishMotorCorp
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 5016-5016 manufacturer PeterbiltTruck and PeterbiltCorp
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4717-4717 manufacturer RoverV8Engine and RoverGroup
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4741-4741 manufacturer SeagullOutboard and BritishSeagullCorp
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4847-4847 manufacturer SimmonsWheelRim and SimmonsCorp
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4967-4967 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 3.0 is open source software produced by Articulate Software and its partners