Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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
Agent
that is responsible for the
Manufacture
of that object.")
Mid-level-ontology.kif 14491-14492
(
domain
manufacturer
2
Agent
)
Mid-level-ontology.kif 14494-14494
(
domainSubclass
manufacturer
1
Object
)
Mid-level-ontology.kif 14493-14493
(
instance
manufacturer
BinaryPredicate
)
Mid-level-ontology.kif 14490-14490
appearance as argument number 2
(
format
EnglishLanguage
manufacturer
"the maker of %1 is %2")
Mid-level-ontology.kif 14495-14495
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 702-711
(=>
(
and
(
instance
?J
Jailbreaking
)
(
instance
?D
Computer
)
(
patient
?J ?D)
(
manufacturer
?D ?C))
(
not
(
desires
?C
(
exists
(?A)
(
agent
?J ?A)))))
ComputingBrands.kif 3442-3451
statement
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
SortimoCorp
?T)))
Cars.kif 5112-5115
appearance as argument number 0
(
manufacturer
AppleComputer
AppleComputerCorporation
)
ComputingBrands.kif 96-96
(
manufacturer
AppleSystemManagementController
AppleComputerCorporation
)
ComputingBrands.kif 940-940
(
manufacturer
ChevroletAutomobile
GeneralMotorsCorp
)
Cars.kif 4970-4970
(
manufacturer
CommodoreAutomobile
HoldenCorporation
)
Cars.kif 4511-4511
(
manufacturer
CommodoreWheel
HoldenCorporation
)
Cars.kif 4517-4517
(
manufacturer
Corvette
GeneralMotorsCorp
)
Cars.kif 5123-5123
(
manufacturer
CosworthEngine
CosworthCorp
)
Cars.kif 5168-5168
(
manufacturer
FordAutomobile
FordCorporation
)
Cars.kif 4917-4917
(
manufacturer
GMLs1V8engine
GeneralMotorsCorp
)
Cars.kif 5119-5119
(
manufacturer
HarleyDavidsonKnuckleheadEngine
HarleyDavidsonCorp
)
Cars.kif 4584-4584
(
manufacturer
HarleyDavidsonPanheadEngine
HarleyDavidsonCorp
)
Cars.kif 4688-4688
(
manufacturer
HoldenToranaAutomobile
HoldenCorporation
)
Cars.kif 4871-4871
(
manufacturer
IconHelmet
IconMotorcyleEquipmentCorporation
)
Cars.kif 5158-5158
(
manufacturer
MiniCooper
BritishMotorCorp
)
Cars.kif 4858-4858
(
manufacturer
PeterbiltTruck
PeterbiltCorp
)
Cars.kif 5016-5016
(
manufacturer
RoverV8Engine
RoverGroup
)
Cars.kif 4717-4717
(
manufacturer
SeagullOutboard
BritishSeagullCorp
)
Cars.kif 4741-4741
(
manufacturer
SimmonsWheelRim
SimmonsCorp
)
Cars.kif 4847-4847
(
manufacturer
SnapOnRatchet
SnapOnTools
)
Cars.kif 4967-4967
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