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
(
domainSubclass
manufacturer
1
Object
)
Mid-level-ontology.kif 15028-15028
(
instance
manufacturer
BinaryPredicate
)
Mid-level-ontology.kif 15025-15025
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
(=>
(
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
statement
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5117-5120
appearance as argument number 0
(
manufacturer
AppleComputer
AppleComputerCorporation
)
ComputingBrands.kif 103-103
(
manufacturer
AppleSystemManagementController
AppleComputerCorporation
)
ComputingBrands.kif 972-972
(
manufacturer
ChevroletAutomobile
GeneralMotorsCorp
)
Cars.kif 4975-4975
(
manufacturer
CommodoreAutomobile
HoldenCorporation
)
Cars.kif 4516-4516
(
manufacturer
CommodoreWheel
HoldenCorporation
)
Cars.kif 4522-4522
(
manufacturer
Corvette
GeneralMotorsCorp
)
Cars.kif 5128-5128
(
manufacturer
CosworthEngine
CosworthCorp
)
Cars.kif 5173-5173
(
manufacturer
FitbitDevice
FitbitCompany
)
Medicine.kif 4463-4463
(
manufacturer
FordAutomobile
FordCorporation
)
Cars.kif 4922-4922
(
manufacturer
GMLs1V8engine
GeneralMotorsCorp
)
Cars.kif 5124-5124
(
manufacturer
HarleyDavidsonKnuckleheadEngine
HarleyDavidsonCorp
)
Cars.kif 4589-4589
(
manufacturer
HarleyDavidsonPanheadEngine
HarleyDavidsonCorp
)
Cars.kif 4693-4693
(
manufacturer
HoldenToranaAutomobile
HoldenCorporation
)
Cars.kif 4876-4876
(
manufacturer
IconHelmet
IconMotorcyleEquipmentCorporation
)
Cars.kif 5163-5163
(
manufacturer
MiniCooper
BritishMotorCorp
)
Cars.kif 4863-4863
(
manufacturer
Pedialyte
AbbottLaboratories
)
Medicine.kif 4813-4813
(
manufacturer
PeterbiltTruck
PeterbiltCorp
)
Cars.kif 5021-5021
(
manufacturer
Rinvoq
AbbVie
)
Medicine.kif 5554-5554
(
manufacturer
RoverV8Engine
RoverGroup
)
Cars.kif 4722-4722
(
manufacturer
SeagullOutboard
BritishSeagullCorp
)
Cars.kif 4746-4746
(
manufacturer
SimmonsWheelRim
SimmonsCorp
)
Cars.kif 4852-4852
(
manufacturer
SnapOnRatchet
SnapOnTools
)
Cars.kif 4972-4972
(
manufacturer
Valvoline
MotorOil
)
Medicine.kif 3848-3848
(
manufacturer
Zyrtec
JohnsonAndJohnson
)
Medicine.kif 2988-2988
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