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 15026-15027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15029-15029 manufacturer 的 2 数量 是 施事体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15028-15028 manufacturer 的 1 数量 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15025-15025 manufacturer 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15030-15030
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 5117-5120 有存在 有点 客体 这样 有点 客体 是 HandToolBox 的 subclass 和 manufacturer 那个 有点 客体 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 4975-4975 manufacturer ChevroletAutomobile and GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4516-4516 manufacturer CommodoreAutomobile and HoldenCorporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4522-4522 manufacturer CommodoreWheel and HoldenCorporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5128-5128 manufacturer Corvette and GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 5173-5173 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 4922-4922 manufacturer FordAutomobile and FordCorporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5124-5124 manufacturer GMLs1V8engine and GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4589-4589 manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4693-4693 manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4876-4876 manufacturer HoldenToranaAutomobile and HoldenCorporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5163-5163 manufacturer IconHelmet and IconMotorcyleEquipmentCorporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4863-4863 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 5021-5021 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 4722-4722 manufacturer RoverV8Engine and RoverGroup
No TPTP formula. May not be expressible in strict first order. Cars.kif 4746-4746 manufacturer SeagullOutboard and BritishSeagullCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4852-4852 manufacturer SimmonsWheelRim and SimmonsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4972-4972 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