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 15027-15028
(
domain
manufacturer
2
AutonomousAgent
)
Mid-level-ontology.kif 15030-15030
(
domainSubclass
manufacturer
1
Object
)
Mid-level-ontology.kif 15029-15029
(
instance
manufacturer
BinaryPredicate
)
Mid-level-ontology.kif 15026-15026
appearance as argument number 2
(
format
EnglishLanguage
manufacturer
"the maker of %1 is %2")
Mid-level-ontology.kif 15031-15031
(
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 5109-5112
appearance as argument number 0
(
manufacturer
AppleComputer
AppleComputerCorporation
)
ComputingBrands.kif 103-103
(
manufacturer
AppleSystemManagementController
AppleComputerCorporation
)
ComputingBrands.kif 972-972
(
manufacturer
ChevroletAutomobile
GeneralMotorsCorp
)
Cars.kif 4967-4967
(
manufacturer
CommodoreAutomobile
HoldenCorporation
)
Cars.kif 4508-4508
(
manufacturer
CommodoreWheel
HoldenCorporation
)
Cars.kif 4514-4514
(
manufacturer
Corvette
GeneralMotorsCorp
)
Cars.kif 5120-5120
(
manufacturer
CosworthEngine
CosworthCorp
)
Cars.kif 5165-5165
(
manufacturer
FitbitDevice
FitbitCompany
)
Medicine.kif 4463-4463
(
manufacturer
FordAutomobile
FordCorporation
)
Cars.kif 4914-4914
(
manufacturer
GMLs1V8engine
GeneralMotorsCorp
)
Cars.kif 5116-5116
(
manufacturer
HarleyDavidsonKnuckleheadEngine
HarleyDavidsonCorp
)
Cars.kif 4581-4581
(
manufacturer
HarleyDavidsonPanheadEngine
HarleyDavidsonCorp
)
Cars.kif 4685-4685
(
manufacturer
HoldenToranaAutomobile
HoldenCorporation
)
Cars.kif 4868-4868
(
manufacturer
IconHelmet
IconMotorcyleEquipmentCorporation
)
Cars.kif 5155-5155
(
manufacturer
MiniCooper
BritishMotorCorp
)
Cars.kif 4855-4855
(
manufacturer
Pedialyte
AbbottLaboratories
)
Medicine.kif 4813-4813
(
manufacturer
PeterbiltTruck
PeterbiltCorp
)
Cars.kif 5013-5013
(
manufacturer
Rinvoq
AbbVie
)
Medicine.kif 5554-5554
(
manufacturer
RoverV8Engine
RoverGroup
)
Cars.kif 4714-4714
(
manufacturer
SeagullOutboard
BritishSeagullCorp
)
Cars.kif 4738-4738
(
manufacturer
SimmonsWheelRim
SimmonsCorp
)
Cars.kif 4844-4844
(
manufacturer
SnapOnRatchet
SnapOnTools
)
Cars.kif 4964-4964
(
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