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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15027-15028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15030-15030 域 manufacturer, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15029-15029 域子類 manufacturer, 1 and Object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15026-15026 例 manufacturer and BinaryPredicate

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


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

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 5109-5112 Object 子類 Object and HandToolBox manufacturer Object 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 蘋果
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 972-972 manufacturer 系统管理控制器 and 蘋果
No TPTP formula. May not be expressible in strict first order. Cars.kif 4967-4967 manufacturer ChevroletAutomobile and GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4508-4508 manufacturer CommodoreAutomobile and HoldenCorporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4514-4514 manufacturer CommodoreWheel and HoldenCorporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5120-5120 manufacturer Corvette and GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 5165-5165 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 4914-4914 manufacturer FordAutomobile and FordCorporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5116-5116 manufacturer GMLs1V8engine and GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4581-4581 manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4685-4685 manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4868-4868 manufacturer HoldenToranaAutomobile and HoldenCorporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5155-5155 manufacturer IconHelmet and IconMotorcyleEquipmentCorporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4855-4855 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 5013-5013 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 4714-4714 manufacturer RoverV8Engine and RoverGroup
No TPTP formula. May not be expressible in strict first order. Cars.kif 4738-4738 manufacturer SeagullOutboard and BritishSeagullCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4844-4844 manufacturer SimmonsWheelRim and SimmonsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4964-4964 manufacturer SnapOnRatchet and SnapOnTools
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3848-3848 manufacturer Valvoline and 機油
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2988-2988 manufacturer Zyrtec and JohnsonAndJohnson


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