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
The number 2 argument of
manufacturer
is an
instance
of
agent
(
domainSubclass
manufacturer
1
Object
)
Mid-level-ontology.kif 15028-15028
The number 1 argument of
manufacturer
is a
subclass
of
object
(
instance
manufacturer
BinaryPredicate
)
Mid-level-ontology.kif 15025-15025
manufacturer
is an
instance
of
binary predicate
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
If
device OS
a kind of object
and
a kind of computer
and
a kind of object
I is an
instance
of
the kind of object
and
a kind of computer
I is an
instance
of
the kind of computer
and the maker of
the kind of object
is
a cognitive agent
,
then
the cognitive agent
desire
s
the kind of computer
I is a
program
running of
a third entity
and
the third entity
is
running
on
the kind of object
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
If
a process
is an
instance
of
cracking
and
an entity
is an
instance
of
computer
and
the entity
is an
instance
of
a kind of object
and
the entity
is a
patient
of
the process
and the maker of
a kind of object
is
a cognitive agent
,
then
the cognitive agent
doesn't
desire
there exists
another entity
such that
the other entity
is an
agent
of
the process
statement
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5117-5120
There exists
a kind of object
such that
a kind of object
is a
subclass
of
tool box
and the maker of
the kind of object
is
Sortimo Corporation
appearance as argument number 0
(
manufacturer
AppleComputer
AppleComputerCorporation
)
ComputingBrands.kif 103-103
The maker of
Apple Computer
is
Apple
(
manufacturer
AppleSystemManagementController
AppleComputerCorporation
)
ComputingBrands.kif 972-972
The maker of
System Management Controller
is
Apple
(
manufacturer
ChevroletAutomobile
GeneralMotorsCorp
)
Cars.kif 4975-4975
The maker of
Chevrolet automobile
is
General Motors
(
manufacturer
CommodoreAutomobile
HoldenCorporation
)
Cars.kif 4516-4516
The maker of
commodore automobile
is
Holden Corporation
(
manufacturer
CommodoreWheel
HoldenCorporation
)
Cars.kif 4522-4522
The maker of
Commodore wheel
is
Holden Corporation
(
manufacturer
Corvette
GeneralMotorsCorp
)
Cars.kif 5128-5128
The maker of
Corvette
is
General Motors
(
manufacturer
CosworthEngine
CosworthCorp
)
Cars.kif 5173-5173
The maker of
Cosworth engine
is
Cosworth Corporation
(
manufacturer
FitbitDevice
FitbitCompany
)
Medicine.kif 4463-4463
The maker of
Fitbit
is
Fitbit
(
manufacturer
FordAutomobile
FordCorporation
)
Cars.kif 4922-4922
The maker of
Ford car
is
Ford
(
manufacturer
GMLs1V8engine
GeneralMotorsCorp
)
Cars.kif 5124-5124
The maker of
ls1 engine
is
General Motors
(
manufacturer
HarleyDavidsonKnuckleheadEngine
HarleyDavidsonCorp
)
Cars.kif 4589-4589
The maker of
knucklehead
is
Harley Davidson
(
manufacturer
HarleyDavidsonPanheadEngine
HarleyDavidsonCorp
)
Cars.kif 4693-4693
The maker of
panhead
is
Harley Davidson
(
manufacturer
HoldenToranaAutomobile
HoldenCorporation
)
Cars.kif 4876-4876
The maker of
Holden Torana
is
Holden Corporation
(
manufacturer
IconHelmet
IconMotorcyleEquipmentCorporation
)
Cars.kif 5163-5163
The maker of
Icon helmet
is
Icon Corporation
(
manufacturer
MiniCooper
BritishMotorCorp
)
Cars.kif 4863-4863
The maker of
mini cooper
is
British Motors
(
manufacturer
Pedialyte
AbbottLaboratories
)
Medicine.kif 4813-4813
The maker of
Pedialyte
is
Abbott
(
manufacturer
PeterbiltTruck
PeterbiltCorp
)
Cars.kif 5021-5021
The maker of
Peterbilt truck
is
Peterbilt
(
manufacturer
Rinvoq
AbbVie
)
Medicine.kif 5554-5554
The maker of
Rinvoq
is
AbbVie
(
manufacturer
RoverV8Engine
RoverGroup
)
Cars.kif 4722-4722
The maker of
Rover v8
is
Rover group
(
manufacturer
SeagullOutboard
BritishSeagullCorp
)
Cars.kif 4746-4746
The maker of
Seagull outboard
is
British Seagull corp
(
manufacturer
SimmonsWheelRim
SimmonsCorp
)
Cars.kif 4852-4852
The maker of
Simmons wheel
is
Simmons corp
(
manufacturer
SnapOnRatchet
SnapOnTools
)
Cars.kif 4972-4972
The maker of
Snap-On ratchet
is
Snap-on Tools
(
manufacturer
Valvoline
MotorOil
)
Medicine.kif 3848-3848
The maker of
Valvoline
is
motor oil
(
manufacturer
Zyrtec
JohnsonAndJohnson
)
Medicine.kif 2988-2988
The maker of
Cetirizine
is
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