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

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

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


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 103-103
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 972-972
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4952-4952
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4493-4493
(manufacturer CommodoreWheel HoldenCorporation) Cars.kif 4499-4499
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5105-5105
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5150-5150
(manufacturer FitbitDevice FitbitCompany) Medicine.kif 4463-4463
(manufacturer FordAutomobile FordCorporation) Cars.kif 4899-4899
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5101-5101
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4566-4566
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4670-4670
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4853-4853
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5140-5140
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4840-4840
(manufacturer Pedialyte AbbottLaboratories) Medicine.kif 4813-4813
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 4998-4998
(manufacturer Rinvoq AbbVie) Medicine.kif 5554-5554
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4699-4699
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4723-4723
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4829-4829
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4949-4949
(manufacturer Valvoline MotorOil) Medicine.kif 3848-3848
(manufacturer Zyrtec JohnsonAndJohnson) Medicine.kif 2988-2988


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