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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 14491-14492
(domain manufacturer 2 Agent) Mid-level-ontology.kif 14494-14494
(domainSubclass manufacturer 1 Object) Mid-level-ontology.kif 14493-14493
(instance manufacturer BinaryPredicate) Mid-level-ontology.kif 14490-14490

appearance as argument number 2

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


        (deviceOS ?C ?OS)
        (instance ?CI ?C)
        (instance ?OSI ?OS)
        (manufacturer ?C ?ORG))
    (desires ?ORG
            (programRunning ?PROC ?OSI)
            (computerRunning ?PROC ?CI))))
ComputingBrands.kif 702-711
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3442-3451


(exists (?T)
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))
Cars.kif 5112-5115

appearance as argument number 0

(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 96-96
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 940-940
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4970-4970
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4511-4511
(manufacturer CommodoreWheel HoldenCorporation) Cars.kif 4517-4517
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5123-5123
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5168-5168
(manufacturer FordAutomobile FordCorporation) Cars.kif 4917-4917
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5119-5119
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4584-4584
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4688-4688
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4871-4871
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5158-5158
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4858-4858
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 5016-5016
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4717-4717
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4741-4741
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4847-4847
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4967-4967

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