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
(
documentation
manufacturer
EnglishLanguage
"A relation between a class of
Object
s and an
AutonomousAgent
that is responsible for the
Manufacture
of that object.")
Mid-level-ontology.kif 15026-15027
(
domain
manufacturer
2
AutonomousAgent
)
Mid-level-ontology.kif 15029-15029
manufacturer
的 2 数量 是
施事体
的
instance
(
domainSubclass
manufacturer
1
Object
)
Mid-level-ontology.kif 15028-15028
manufacturer
的 1 数量 是
客体
的
subclass
(
instance
manufacturer
BinaryPredicate
)
Mid-level-ontology.kif 15025-15025
manufacturer
是
二元谓语
的
instance
appearance as argument number 2
(
format
EnglishLanguage
manufacturer
"the maker of %1 is %2")
Mid-level-ontology.kif 15030-15030
(
termFormat
EnglishLanguage
manufacturer
"manufacturer")
domainEnglishFormat.kif 65868-65868
antecedent
(=>
(
and
(
deviceOS
?C ?OS)
(
instance
?CI ?C)
(
instance
?OSI ?OS)
(
manufacturer
?C ?ORG))
(
desires
?ORG
(
and
(
programRunning
?PROC ?OSI)
(
computerRunning
?PROC ?CI))))
ComputingBrands.kif 734-743
如果
deviceOS
有点 客体
and
有点 电脑
和
有点 客体
I 是
那个 有点 客体
的
instance
和
有点 电脑
I 是
那个 有点 电脑
的
instance
和
manufacturer
那个 有点 客体
and
有认知的主事
,
然后
那个 有认知的主事
desires
那个 有点 电脑
I 是
第三 实体
的执行
program
和
那个 第三 实体
是
running
在
那个 有点 客体
I
(=>
(
and
(
instance
?J
Jailbreaking
)
(
instance
?D
Computer
)
(
instance
?D ?CLASS)
(
patient
?J ?D)
(
manufacturer
?CLASS ?C))
(
not
(
desires
?C
(
exists
(?A)
(
agent
?J ?A)))))
ComputingBrands.kif 3476-3486
如果
过程
是
粉碎
的
instance
和
实体
是
电脑
的
instance
和
那个 实体
是
有点 客体
的
instance
和
那个 实体
是
那个 过程
的
patient
和
manufacturer
有点 客体
and
有认知的主事
,
然后
那个 有认知的主事
doesn't
desires
有存在
另一个 实体
这样
那个 另外 实体
是
那个 过程
的
agent
statement
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5117-5120
有存在
有点 客体
这样
有点 客体
是
HandToolBox
的
subclass
和
manufacturer
那个 有点 客体
and
SortimoCorp
appearance as argument number 0
(
manufacturer
AppleComputer
AppleComputerCorporation
)
ComputingBrands.kif 103-103
manufacturer
AppleComputer
and
苹果
(
manufacturer
AppleSystemManagementController
AppleComputerCorporation
)
ComputingBrands.kif 972-972
manufacturer
系统管理控制器
and
苹果
(
manufacturer
ChevroletAutomobile
GeneralMotorsCorp
)
Cars.kif 4975-4975
manufacturer
ChevroletAutomobile
and
GeneralMotorsCorp
(
manufacturer
CommodoreAutomobile
HoldenCorporation
)
Cars.kif 4516-4516
manufacturer
CommodoreAutomobile
and
HoldenCorporation
(
manufacturer
CommodoreWheel
HoldenCorporation
)
Cars.kif 4522-4522
manufacturer
CommodoreWheel
and
HoldenCorporation
(
manufacturer
Corvette
GeneralMotorsCorp
)
Cars.kif 5128-5128
manufacturer
Corvette
and
GeneralMotorsCorp
(
manufacturer
CosworthEngine
CosworthCorp
)
Cars.kif 5173-5173
manufacturer
CosworthEngine
and
CosworthCorp
(
manufacturer
FitbitDevice
FitbitCompany
)
Medicine.kif 4463-4463
manufacturer
FitbitDevice
and
FitbitCompany
(
manufacturer
FordAutomobile
FordCorporation
)
Cars.kif 4922-4922
manufacturer
FordAutomobile
and
FordCorporation
(
manufacturer
GMLs1V8engine
GeneralMotorsCorp
)
Cars.kif 5124-5124
manufacturer
GMLs1V8engine
and
GeneralMotorsCorp
(
manufacturer
HarleyDavidsonKnuckleheadEngine
HarleyDavidsonCorp
)
Cars.kif 4589-4589
manufacturer
HarleyDavidsonKnuckleheadEngine
and
HarleyDavidsonCorp
(
manufacturer
HarleyDavidsonPanheadEngine
HarleyDavidsonCorp
)
Cars.kif 4693-4693
manufacturer
HarleyDavidsonPanheadEngine
and
HarleyDavidsonCorp
(
manufacturer
HoldenToranaAutomobile
HoldenCorporation
)
Cars.kif 4876-4876
manufacturer
HoldenToranaAutomobile
and
HoldenCorporation
(
manufacturer
IconHelmet
IconMotorcyleEquipmentCorporation
)
Cars.kif 5163-5163
manufacturer
IconHelmet
and
IconMotorcyleEquipmentCorporation
(
manufacturer
MiniCooper
BritishMotorCorp
)
Cars.kif 4863-4863
manufacturer
MiniCooper
and
BritishMotorCorp
(
manufacturer
Pedialyte
AbbottLaboratories
)
Medicine.kif 4813-4813
manufacturer
Pedialyte
and
AbbottLaboratories
(
manufacturer
PeterbiltTruck
PeterbiltCorp
)
Cars.kif 5021-5021
manufacturer
PeterbiltTruck
and
PeterbiltCorp
(
manufacturer
Rinvoq
AbbVie
)
Medicine.kif 5554-5554
manufacturer
Rinvoq
and
AbbVie
(
manufacturer
RoverV8Engine
RoverGroup
)
Cars.kif 4722-4722
manufacturer
RoverV8Engine
and
RoverGroup
(
manufacturer
SeagullOutboard
BritishSeagullCorp
)
Cars.kif 4746-4746
manufacturer
SeagullOutboard
and
BritishSeagullCorp
(
manufacturer
SimmonsWheelRim
SimmonsCorp
)
Cars.kif 4852-4852
manufacturer
SimmonsWheelRim
and
SimmonsCorp
(
manufacturer
SnapOnRatchet
SnapOnTools
)
Cars.kif 4972-4972
manufacturer
SnapOnRatchet
and
SnapOnTools
(
manufacturer
Valvoline
MotorOil
)
Medicine.kif 3848-3848
manufacturer
Valvoline
and
机油
(
manufacturer
Zyrtec
JohnsonAndJohnson
)
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