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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15054-15055
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15057-15057 Le nombre 2 argument de manufacturer est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15056-15056 Le nombre 1 argument de manufacturer est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15053-15053 manufacturer est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15058-15058
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65870-65870

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 734-743
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3476-3486

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 5094-5097 Objet objet est une sous-classe de HandToolBox manufacturer objet and SortimoCorp

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


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


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