Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterVehicle

Sigma KEE - WaterVehicle
WaterVehicle(水车)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3484-3485
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 391-391
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 383-383
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 546-546
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 386-386
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 389-389
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 382-382
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 390-390
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 385-385
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 381-381
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 384-384
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 388-388
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 545-545
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 392-392
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 544-544
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 393-393
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 387-387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3483-3483 水车车辆subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2020-2020 两栖车辆水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2489-2489 驳船水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2499-2499 独木舟水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2297-2297 排水型船体水车水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2494-2494 渡船水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2493-2493 消防船水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2436-2436 渔船水车subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 201-201 皮艇水车subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 204-204 Keelboat水车subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 151-151 军用水车水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2294-2294 多体船水车水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2505-2505 个人船只水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2461-2461 滑行船体水车水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2497-2497 奔波水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2498-2498 帆船水车subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17658-17658 潜艇水车subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2492-2492 拖船水车subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62505-62505
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62504-62504
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62503-62503

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3275-3275 船员 的 1 数量 是 水车instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1080-1080 国旗 的 1 数量 是 水车instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2676-2676 载货草案 的 1 数量 是 水车instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2534-2534 船舶重量吨位 的 1 数量 是 水车instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2524-2524 船只位移 的 1 数量 是 水车instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2545-2545 船舶总注册吨位 的 1 数量 是 水车instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4751-4755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3498-3506
No TPTP formula. May not be expressible in strict first order. Geography.kif 5959-5963
No TPTP formula. May not be expressible in strict first order. Geography.kif 5929-5933
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1683-1688
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2637-2643
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2287-2292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17752-17754
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3487-3496

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4242-4248
No TPTP formula. May not be expressible in strict first order. naics.kif 8080-8105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4254-4259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1505-1510
No TPTP formula. May not be expressible in strict first order. Cars.kif 4350-4357
No TPTP formula. May not be expressible in strict first order. Cars.kif 5062-5073
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3385-3392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17743-17750
No TPTP formula. May not be expressible in strict first order. Sports.kif 1246-1263


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