Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Entity
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 16400-16401
(
domain
manufacturer
2
AutonomousAgent
)
Mid-level-ontology.kif 16403-16403
The number 2 argument of
manufacturer
is an
instance
of
agent
(
domainSubclass
manufacturer
1
Object
)
Mid-level-ontology.kif 16402-16402
The number 1 argument of
manufacturer
is a
subclass
of
object
(
instance
manufacturer
BinaryPredicate
)
Mid-level-ontology.kif 16399-16399
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 16404-16404
(
termFormat
EnglishLanguage
manufacturer
"manufacturer")
domainEnglishFormat.kif 65877-65877
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 3472-3482
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 5170-5173
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 5028-5028
The maker of
Chevrolet automobile
is
General Motors
(
manufacturer
CommodoreAutomobile
HoldenCorporation
)
Cars.kif 4569-4569
The maker of
commodore automobile
is
Holden Corporation
(
manufacturer
CommodoreWheel
HoldenCorporation
)
Cars.kif 4575-4575
The maker of
Commodore wheel
is
Holden Corporation
(
manufacturer
Corvette
GeneralMotorsCorp
)
Cars.kif 5181-5181
The maker of
Corvette
is
General Motors
(
manufacturer
CosworthEngine
CosworthCorp
)
Cars.kif 5226-5226
The maker of
Cosworth engine
is
Cosworth Corporation
(
manufacturer
FitbitDevice
FitbitCompany
)
Medicine.kif 4470-4470
The maker of
Fitbit
is
Fitbit
(
manufacturer
FordAutomobile
FordCorporation
)
Cars.kif 4975-4975
The maker of
Ford car
is
Ford
(
manufacturer
GMLs1V8engine
GeneralMotorsCorp
)
Cars.kif 5177-5177
The maker of
ls1 engine
is
General Motors
(
manufacturer
HarleyDavidsonKnuckleheadEngine
HarleyDavidsonCorp
)
Cars.kif 4642-4642
The maker of
knucklehead
is
Harley Davidson
(
manufacturer
HarleyDavidsonPanheadEngine
HarleyDavidsonCorp
)
Cars.kif 4746-4746
The maker of
panhead
is
Harley Davidson
(
manufacturer
HoldenToranaAutomobile
HoldenCorporation
)
Cars.kif 4929-4929
The maker of
Holden Torana
is
Holden Corporation
(
manufacturer
IconHelmet
IconMotorcyleEquipmentCorporation
)
Cars.kif 5216-5216
The maker of
Icon helmet
is
Icon Corporation
(
manufacturer
MiniCooper
BritishMotorCorp
)
Cars.kif 4916-4916
The maker of
mini cooper
is
British Motors
(
manufacturer
Pedialyte
AbbottLaboratories
)
Medicine.kif 4820-4820
The maker of
Pedialyte
is
Abbott
(
manufacturer
PeterbiltTruck
PeterbiltCorp
)
Cars.kif 5074-5074
The maker of
Peterbilt truck
is
Peterbilt
(
manufacturer
Rinvoq
AbbVie
)
Medicine.kif 5563-5563
The maker of
Rinvoq
is
AbbVie
(
manufacturer
RoverV8Engine
RoverGroup
)
Cars.kif 4775-4775
The maker of
Rover v8
is
Rover group
(
manufacturer
SeagullOutboard
BritishSeagullCorp
)
Cars.kif 4799-4799
The maker of
Seagull outboard
is
British Seagull corp
(
manufacturer
SimmonsWheelRim
SimmonsCorp
)
Cars.kif 4905-4905
The maker of
Simmons wheel
is
Simmons corp
(
manufacturer
SnapOnRatchet
SnapOnTools
)
Cars.kif 5025-5025
The maker of
Snap_On ratchet
is
Snap_on Tools
(
manufacturer
Valvoline
MotorOil
)
Medicine.kif 3851-3851
The maker of
Valvoline
is
motor oil
(
manufacturer
Zyrtec
JohnsonAndJohnson
)
Medicine.kif 2989-2989
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