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.") Cars.kif 4478-4479
(domain manufacturer 2 Agent) Cars.kif 4481-4481
(domainSubclass manufacturer 1 Object) Cars.kif 4480-4480
(instance manufacturer BinaryPredicate) Cars.kif 4477-4477

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


(format EnglishLanguage manufacturer "the maker of %1 is %2") Cars.kif 4482-4482

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

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


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))
Cars.kif 5088-5091

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


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 100-100
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 949-949
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4946-4946
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4487-4487
(manufacturer CommodoreWheel Holden) Cars.kif 4493-4493
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5099-5099
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5144-5144
(manufacturer FordAutomobile FordCorporation) Cars.kif 4893-4893
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5095-5095
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4560-4560
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4664-4664
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4847-4847
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5134-5134
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4834-4834
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 4992-4992
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4693-4693
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4717-4717
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4823-4823
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4943-4943


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners