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
importCommodityType
Sigma KEE - importCommodityType
importCommodityType
appearance as argument number 1
(
documentation
importCommodityType
EnglishLanguage
"(
importCommodityType
?AREA ?TYPE) means that the
GeopoliticalArea
?AREA imports the commodity ?TYPE.")
Economy.kif 2613-2615
(
domain
importCommodityType
1
GeopoliticalArea
)
Economy.kif 2610-2610
The number 1 argument of
import commodity type
is an
instance
of
geopolitical area
(
domainSubclass
importCommodityType
2
Object
)
Economy.kif 2611-2611
The number 2 argument of
import commodity type
is a
subclass
of
object
(
instance
importCommodityType
BinaryPredicate
)
Economy.kif 2609-2609
import commodity type
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
importCommodityType
"%2 %n 是 %1 的 import 商品种类")
domainEnglishFormat.kif 1253-1253
(
format
ChineseTraditionalLanguage
importCommodityType
"%2 %n 是 %1 的 import 商品種類")
domainEnglishFormat.kif 1252-1252
(
format
EnglishLanguage
importCommodityType
"%2 is %n an import commodity type of %1")
domainEnglishFormat.kif 1251-1251
(
termFormat
ChineseLanguage
importCommodityType
"进口商品类型")
domainEnglishFormat.kif 29401-29401
(
termFormat
ChineseTraditionalLanguage
importCommodityType
"進口商品類型")
domainEnglishFormat.kif 29400-29400
(
termFormat
EnglishLanguage
importCommodityType
"import commodity type")
domainEnglishFormat.kif 29399-29399
consequent
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
If
duty free
is an
attribute
of
an object
and
the object
is an
instance
of
store
,
then there exist
a geopolitical area
,
an entity
,, ,
another kind of object
and
a process
such that
the geopolitical area
is an
instance
of
geopolitical area
and
the object
is
located
at
the geopolitical area
and
another kind of object
is a
subclass
of
object
and
the other kind of object
is an
import
commodity type of
the geopolitical area
and
the entity
is an
instance
of
the other kind of object
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
and
the process
is
located
at
the object
(=>
(
importCommodityTypeByRank
?AREA ?TYPE ?RANK)
(
importCommodityType
?AREA ?TYPE))
Economy.kif 2627-2629
If
a geopolitical area
import
commodity type by rank
a kind of object
for
a positive integer
,
then
a kind of object
is an
import
commodity type of
the geopolitical area
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