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
The number 2 argument of
manufacturer
is an
instance
of
agent
(
domainSubclass
manufacturer
1
Object
)
Mid-level-ontology.kif 15029-15029
The number 1 argument of
manufacturer
is a
subclass
of
object
(
instance
manufacturer
BinaryPredicate
)
Mid-level-ontology.kif 15026-15026
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 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
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 5109-5112
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 4967-4967
The maker of
Chevrolet automobile
is
General Motors
(
manufacturer
CommodoreAutomobile
HoldenCorporation
)
Cars.kif 4508-4508
The maker of
commodore automobile
is
Holden Corporation
(
manufacturer
CommodoreWheel
HoldenCorporation
)
Cars.kif 4514-4514
The maker of
Commodore wheel
is
Holden Corporation
(
manufacturer
Corvette
GeneralMotorsCorp
)
Cars.kif 5120-5120
The maker of
Corvette
is
General Motors
(
manufacturer
CosworthEngine
CosworthCorp
)
Cars.kif 5165-5165
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 4914-4914
The maker of
Ford car
is
Ford
(
manufacturer
GMLs1V8engine
GeneralMotorsCorp
)
Cars.kif 5116-5116
The maker of
ls1 engine
is
General Motors
(
manufacturer
HarleyDavidsonKnuckleheadEngine
HarleyDavidsonCorp
)
Cars.kif 4581-4581
The maker of
knucklehead
is
Harley Davidson
(
manufacturer
HarleyDavidsonPanheadEngine
HarleyDavidsonCorp
)
Cars.kif 4685-4685
The maker of
panhead
is
Harley Davidson
(
manufacturer
HoldenToranaAutomobile
HoldenCorporation
)
Cars.kif 4868-4868
The maker of
Holden Torana
is
Holden Corporation
(
manufacturer
IconHelmet
IconMotorcyleEquipmentCorporation
)
Cars.kif 5155-5155
The maker of
Icon helmet
is
Icon Corporation
(
manufacturer
MiniCooper
BritishMotorCorp
)
Cars.kif 4855-4855
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 5013-5013
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 4714-4714
The maker of
Rover v8
is
Rover group
(
manufacturer
SeagullOutboard
BritishSeagullCorp
)
Cars.kif 4738-4738
The maker of
Seagull outboard
is
British Seagull corp
(
manufacturer
SimmonsWheelRim
SimmonsCorp
)
Cars.kif 4844-4844
The maker of
Simmons wheel
is
Simmons corp
(
manufacturer
SnapOnRatchet
SnapOnTools
)
Cars.kif 4964-4964
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