Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
|
LogLearn
| ]
KB:
SUMO
Language:
Anisocoria
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
MechanicalAnisocoria
PhysiologicalAnisocoria
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
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
(
instance
manufacturer
BinaryPredicate
)
Mid-level-ontology.kif 16551-16551
manufacturer
is an
instance
of
binary predicate
(
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 16552-16553
manufacturer
is an
instance
of
binary predicate
(
domainSubclass
manufacturer
1
Object
)
Mid-level-ontology.kif 16554-16554
The number 1 argument of
manufacturer
is a
subclass
of
object
(
domain
manufacturer
2
AutonomousAgent
)
Mid-level-ontology.kif 16555-16555
The number 2 argument of
manufacturer
is an
instance
of
agent
appearance as argument number 2
(
format
EnglishLanguage
manufacturer
"the maker of %1 is %2")
Mid-level-ontology.kif 16556-16556
(
termFormat
EnglishLanguage
manufacturer
"manufacturer")
domainEnglishFormat.kif 65886-65886
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
X
and
Y
,
Z
is an
instance
of
X
,
W
is an
instance
of
Y
, and the maker of
X
is
V
, then
V
desire
s
W
is a
program
running of
U
and
U
is
running
on
Z
(=>
(
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 3383-3393
If
X
is an
instance
of
cracking
,
Y
is an
instance
of
computer
,
Y
is an
instance
of
Z
,
Y
is a
patient
of
X
, and the maker of
Z
is
W
, then
W
doesn't
desire
there doesn't exist
V
such that
V
is an
agent
of
X
statement
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5187-5190
There exists
X
such that
X
is a
subclass
of
tool box
and the maker of
X
is
Sortimo Corporation
appearance as argument number 0
(
manufacturer
CommodoreAutomobile
HoldenCorporation
)
Cars.kif 4586-4586
The maker of
commodore automobile
is
Holden Corporation
(
manufacturer
CommodoreWheel
HoldenCorporation
)
Cars.kif 4592-4592
The maker of
Commodore wheel
is
Holden Corporation
(
manufacturer
HarleyDavidsonKnuckleheadEngine
HarleyDavidsonCorp
)
Cars.kif 4659-4659
The maker of
knucklehead
is
Harley Davidson
(
manufacturer
HarleyDavidsonPanheadEngine
HarleyDavidsonCorp
)
Cars.kif 4763-4763
The maker of
panhead
is
Harley Davidson
(
manufacturer
RoverV8Engine
RoverGroup
)
Cars.kif 4792-4792
The maker of
Rover v8
is
Rover group
(
manufacturer
SeagullOutboard
BritishSeagullCorp
)
Cars.kif 4816-4816
The maker of
Seagull outboard
is
British Seagull corp
(
manufacturer
SimmonsWheelRim
SimmonsCorp
)
Cars.kif 4922-4922
The maker of
Simmons wheel
is
Simmons corp
(
manufacturer
MiniCooper
BritishMotorCorp
)
Cars.kif 4933-4933
The maker of
mini cooper
is
British Motors
(
manufacturer
HoldenToranaAutomobile
HoldenCorporation
)
Cars.kif 4946-4946
The maker of
Holden Torana
is
Holden Corporation
(
manufacturer
FordAutomobile
FordCorporation
)
Cars.kif 4992-4992
The maker of
Ford car
is
Ford
(
manufacturer
SnapOnRatchet
SnapOnTools
)
Cars.kif 5042-5042
The maker of
Snap_On ratchet
is
Snap_on Tools
(
manufacturer
ChevroletAutomobile
GeneralMotorsCorp
)
Cars.kif 5045-5045
The maker of
Chevrolet automobile
is
General Motors
(
manufacturer
PeterbiltTruck
PeterbiltCorp
)
Cars.kif 5091-5091
The maker of
Peterbilt truck
is
Peterbilt
(
manufacturer
GMLs1V8engine
GeneralMotorsCorp
)
Cars.kif 5194-5194
The maker of
ls1 engine
is
General Motors
(
manufacturer
Corvette
GeneralMotorsCorp
)
Cars.kif 5198-5198
The maker of
Corvette
is
General Motors
(
manufacturer
IconHelmet
IconMotorcyleEquipmentCorporation
)
Cars.kif 5233-5233
The maker of
Icon helmet
is
Icon Corporation
(
manufacturer
CosworthEngine
CosworthCorp
)
Cars.kif 5243-5243
The maker of
Cosworth engine
is
Cosworth Corporation
(
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
Zyrtec
JohnsonAndJohnson
)
Medicine.kif 2976-2976
The maker of
Cetirizine
is
JohnsonAndJohnson
(
manufacturer
MotorOil
Valvoline
)
Medicine.kif 3844-3844
The maker of
motor oil
is
Valvoline
(
manufacturer
FitbitDevice
FitbitCompany
)
Medicine.kif 4446-4446
The maker of
Fitbit
is
Fitbit
(
manufacturer
Pedialyte
AbbottLaboratories
)
Medicine.kif 4796-4796
The maker of
Pedialyte
is
Abbott
(
manufacturer
Rinvoq
AbbVie
)
Medicine.kif 5538-5538
The maker of
Rinvoq
is
AbbVie
(
manufacturer
ArleighBurkeClassDDG
LockheedMartin
)
Military.kif 458-458
The maker of
Arleigh Burke Class DDG
is
Lockheed Martin
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
