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 4470-4471
(domain manufacturer 2 Agent) Cars.kif 4473-4473
(domainSubclass manufacturer 1 Object) Cars.kif 4472-4472
(instance manufacturer BinaryPredicate) Cars.kif 4469-4469

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


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

antecedent
-------------------------


(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3278-3287

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


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))
Cars.kif 5080-5083

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


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 99-99
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 863-863
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4938-4938
(manufacturer CommodoreAutomobile HoldenCorporation) Cars.kif 4479-4479
(manufacturer CommodoreWheel Holden) Cars.kif 4485-4485
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5091-5091
(manufacturer CosworthEngine CosworthCorp) Cars.kif 5136-5136
(manufacturer FordAutomobile FordCorporation) Cars.kif 4885-4885
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5087-5087
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp) Cars.kif 4552-4552
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp) Cars.kif 4656-4656
(manufacturer HoldenToranaAutomobile HoldenCorporation) Cars.kif 4839-4839
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation) Cars.kif 5126-5126
(manufacturer MiniCooper BritishMotorCorp) Cars.kif 4826-4826
(manufacturer PeterbiltTruck PeterbiltCorp) Cars.kif 4984-4984
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4685-4685
(manufacturer SeagullOutboard BritishSeagullCorp) Cars.kif 4709-4709
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4815-4815
(manufacturer SnapOnRatchet SnapOnTools) Cars.kif 4935-4935


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