Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 数量 是
施事体
的
instance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 15029-15029
manufacturer
的 1 数量 是
客体
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 15026-15026
manufacturer
是
二元谓语
的
instance
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
如果
deviceOS
有点 客体
and
有点 电脑
和
有点 客体
I 是
那个 有点 客体
的
instance
和
有点 电脑
I 是
那个 有点 电脑
的
instance
和
manufacturer
那个 有点 客体
and
有认知的主事
,
然后
那个 有认知的主事
desires
那个 有点 电脑
I 是
第三 实体
的执行
program
和
那个 第三 实体
是
running
在
那个 有点 客体
I
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3476-3486
如果
过程
是
粉碎
的
instance
和
实体
是
电脑
的
instance
和
那个 实体
是
有点 客体
的
instance
和
那个 实体
是
那个 过程
的
patient
和
manufacturer
有点 客体
and
有认知的主事
,
然后
那个 有认知的主事
doesn't
desires
有存在
另一个 实体
这样
那个 另外 实体
是
那个 过程
的
agent
statement
No TPTP formula. May not be expressible in strict first order.
Cars.kif 5109-5112
有存在
有点 客体
这样
有点 客体
是
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 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