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
trafficableForTrafficType
Sigma KEE - trafficableForTrafficType
trafficableForTrafficType
appearance as argument number 1
(
documentation
trafficableForTrafficType
EnglishLanguage
"(
trafficableForTrafficType
?WAY ?TYPE) means that
Object
s of ?TYPE can move along the
Transitway
?WAY.")
Transportation.kif 2606-2608
(
domain
trafficableForTrafficType
1
Object
)
Transportation.kif 2604-2604
可通行的交通类型
的 1 数量 是
客体
的
instance
(
domainSubclass
trafficableForTrafficType
2
SelfConnectedObject
)
Transportation.kif 2605-2605
可通行的交通类型
的 2 数量 是
自身连接物体
的
subclass
(
instance
trafficableForTrafficType
BinaryPredicate
)
Transportation.kif 2603-2603
可通行的交通类型
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
trafficableForTrafficType
"%2 %n 是 对于交通类别 %1 的 trafficable ")
domainEnglishFormat.kif 2531-2531
(
format
ChineseTraditionalLanguage
trafficableForTrafficType
"%2 %n 是 對於交通類別 %1 的 trafficable ")
domainEnglishFormat.kif 2530-2530
(
format
EnglishLanguage
trafficableForTrafficType
"%2 is %n a trafficable for traffic type of %1")
domainEnglishFormat.kif 2529-2529
(
termFormat
ChineseLanguage
trafficableForTrafficType
"可通行的交通类型")
domainEnglishFormat.kif 58754-58754
(
termFormat
ChineseTraditionalLanguage
trafficableForTrafficType
"可通行的交通類型")
domainEnglishFormat.kif 58753-58753
(
termFormat
EnglishLanguage
trafficableForTrafficType
"trafficable for traffic type")
domainEnglishFormat.kif 58752-58752
antecedent
(=>
(
and
(
instance
?WATER
River
)
(
trafficableForTrafficType
?WATER ?TYPE)
(
subclass
?TYPE
WaterVehicle
))
(
instance
?WATER
Waterway
))
Transportation.kif 1683-1688
如果
客体
是
河
的
instance
和
有点 自身连接物体
是 对于交通类别
那个 客体
的
trafficable
和
有点 自身连接物体
是
水车
的
subclass
,
然后
那个 客体
是
水路
的
instance
(=>
(
and
(
trafficableForTrafficType
?PLACE ?TYPE)
(
subclass
?TYPE
TransportationDevice
)
(
instance
?MOVER ?TYPE))
(
capableAtLocation
Transportation
instrument
?MOVER ?PLACE))
Transportation.kif 2610-2615
如果
有点 自身连接物体
是 对于交通类别
地区
的
trafficable
和
有点 自身连接物体
是
运输设备
的
subclass
和
客体
是
那个 有点 自身连接物体
的
instance
,
然后
运输
capable
在地点
工具
对于
那个 客体
跟
那个 地区
在一起
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
如果
有点 自身连接物体
是 对于交通类别
地区
的
trafficable
和
有点 自身连接物体
是
施事体
的
subclass
和
客体
是
那个 有点 自身连接物体
的
instance
,
然后
易位
capable
在地点
主事
对于
那个 客体
跟
那个 地区
在一起
consequent
(=>
(
instance
?AIRPORT
Airport
)
(
trafficableForTrafficType
?AIRPORT
Airplane
))
Transportation.kif 2624-2626
如果
客体
是
飞机场
的
instance
,
然后
飞机
是 对于交通类别
那个 客体
的
trafficable
(=>
(
instance
?HELO
Heliport
)
(
trafficableForTrafficType
?HELO
Helicopter
))
Transportation.kif 1514-1516
如果
客体
是
直升机场
的
instance
,
然后
直升机
是 对于交通类别
那个 客体
的
trafficable
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