TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3064-3065
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11597-11598
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1832-1833
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6929-6929
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8119-8119
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8120-8120
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11595-11595	运输和运输设备是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11594-11594	运输是易位的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1567-1567	运输的所得值是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1584-1584	旅的所得值是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17685-17685	航空运输是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11613-11613	驾驶是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17767-17767	陆运是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6531-6531	MoveToEvac 是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7693-7693	运输是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7706-7706	走私是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17698-17698	太空运输是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17790-17790	通过公路车辆运输是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17739-17739	水运是运输的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1129-1129
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1475-1475
No TPTP formula. May not be expressible in strict first order.	french_format.kif 807-807
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 339-339
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 342-342
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2491-2491
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 759-759
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 344-344
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 378-378
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 828-828
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 343-343

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23533-23533	运输工具的 1 数量是运输的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22858-22858	运输的 1 数量是运输的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3498-3506	如果客体是水车的 instance 和过程是运输的 instance 和那个客体是导致那个过程的 instrument，然后有存在另一个客体这样那个另外客体是水域的 instance 和那个过程是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23575-23581	如果过程是驾驶的 instance 和运输%n是那个过程的subProcess 和那个运输是运输的 instance 和施事体是那个过程的 agent，然后那个施事体是在那个运输 transported
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23583-23589	如果过程是驾驶的 instance 和另一个过程%n是那个过程的subProcess 和那个另外过程是运输的 instance 和那个过程在另一个实体结束，然后那个另外过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23591-23598	如果过程是驾驶的 instance 和运输%n是那个过程的subProcess 和那个运输是运输的 instance 和运输设备是车辆的 instance 和那个运输设备是那个过程的 patient，然后那个运输设备是那个运输的 conveyance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	如果客体是 FuelPump 的 instance 和另一个客体是汽车的 instance 和那个客体是那个另外客体的 part 和运动是运输的 instance 和过程是汽油的 instance 和那个过程是那个运动的 patient 和那个客体是导致那个过程的 instrument 和第三客体是 GasTank 的 instance 和那个第三客体是那个另外客体的 part 和第四客体是 EngineCylinder 的 instance 和那个第四客体是那个另外客体的 part 和那个第三客体是那个运动的源头和那个运动在那个第四客体结束和第五客体%n是那个运动发生的path，然后那个运动的目的是有存在那个过程F 这样那个过程F 是 FuelFilter 的 instance 和那个第三客体對於那个第四客体 between 在路徑那个过程F
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	如果客体是 FuelPump 的 instance 和另一个客体是汽车的 instance 和那个客体是那个另外客体的 part 和过程是运输的 instance 和另一个过程是汽油的 instance 和那个另外过程是那个过程的 patient 和那个客体是导致那个另外过程的 instrument，然后那个客体的目的是有存在实体和另一个实体这样那个实体是 GasTank 的 instance 和那个实体是那个另外客体的 part 和那个另外实体是 EngineCylinder 的 instance 和那个另外实体是那个另外客体的 part 和那个实体是那个过程的源头和那个过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	如果过程是运输的 instance 和客体是轮的 instance 和另一个客体是汽车的 instance 和那个客体是那个另外客体的 part 和那个另外客体是导致那个过程的 instrument 和那个另外客体B 是 AntilockBrake 的 instance 和另一个过程是减速的 instance 和那个另外客体B 是导致那个另外过程的 instrument 和那个另外客体B 是那个客体的 part，然后那个另外客体B 的目的是有存在实体这样那个实体是旋转的 instance 和那个实体在那个另外过程时段内发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15451-15459	如果过程是运输的 instance 和客体是导致那个过程的 instrument 和那个客体是泵的 instance，然后有存在另一个客体这样那个另外客体是导致那个过程的 instrument 和流体是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 789-795	如果过程是运输的 instance 和实体是那个过程的 patient 和那个实体S 是导致那个过程的 instrument 和那个实体S 是排污系统的 instance，然后那个实体是污水的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23536-23541	如果过程是运输的 instance 和客体是导致那个过程的 instrument 和那个客体是公路车辆的 instance，然后那个过程是通过公路车辆运输的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23556-23563	如果过程是运输的 instance 和那个过程%n是实体 subProcess 和另一个过程是驾驶的 instance 和客体是导致那个过程的 instrument 和那个客体是运输设备的 instance，然后那个客体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1852-1864	如果客体是车皮的 instance 和过程是运输的 instance 和那个客体是导致那个过程的 instrument，然后有存在施事体这样那个过程是拉的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体是家畜的 instance 或那个施事体是车辆的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17410-17415	如果自身连接物体是 onboard 车辆和那个车辆是导致过程的 instrument 和那个过程是运输的 instance，然后那个自身连接物体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1572-1580	如果有点运输设备是运输设备的 subclass 和有点运输设备的 transportation 是运输的 subclass 和过程是那个有点运输设备的 transportation 的 instance，然后有存在客体这样那个客体是那个有点运输设备的 instance 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11600-11605	如果过程是运输的 instance，然后有存在客体这样那个客体是运输设备的 instance 和那个客体是导致那个过程的 instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	如果施事体是骑兵部队的 instance 和时距是战斗的 instance 和那个施事体是那个时距的 agent，然后有存在另一个施事体，实体， and 和另一个时距这样士兵是那个另外施事体的 attribute 和那个另外施事体是那个施事体的 member 和那个另外时距是运输的 instance 和那个另外施事体是那个另外时距的 agent 和那个实体是车辆的 instance 和那个实体是那个另外时距的 patient 和那个另外时距在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Military.kif 108-122	如果群体是护航的 instance 和施事体是那个群体的 member 和另一个施事体是那个群体的 member 和那个施事体不 equal 那个另外施事体，然后有存在过程，另一个过程， and 和实体这样那个过程是运输的 instance 和那个另外过程是运输的 instance 和那个施事体是那个过程的 agent 和那个另外施事体是那个另外过程的 agent 和那个过程在那个实体结束和那个另外过程在那个实体结束
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	如果过程是疏散的 instance 和客体是那个过程的源头和机构是那个过程的 agent，然后有存在另一个过程和那个另外过程A 这样那个另外过程是运输的 instance 和那个另外过程在那个客体结束和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构和那个另外过程A 是那个另外过程的 agent 或那个另外过程A 是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	如果群体是机构的 instance 和航空运输业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，那个有认知的主事LANE， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 或那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个有认知的主事LANE 和那个有认知的主事LANE 是飞机的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	如果群体是机构的 instance 和信使和信使是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事和实体这样那个施事体是出售的 instance 和那个实体是客体的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在另一个实体这样那个另外实体是运输的 instance 和那个有认知的主事 possesses 那个实体和那个实体是那个另外实体的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	如果群体是机构的 instance 和管道运输是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体,，，第三实体， and 和那个有认知的主事IPE 这样那个实体是运输的 instance 和那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是物质的 instance 和那个群体 possesses 那个另外实体和那个有认知的主事IPE 是导致那个实体的 instrument 和那个有认知的主事IPE 是管道的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	如果群体是机构的 instance 和邮政服务是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事和实体这样那个施事体是出售的 instance 和那个实体是客体的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在另一个实体这样那个另外实体是运输的 instance 和那个有认知的主事 possesses 那个实体和那个实体是那个另外实体的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	如果群体是机构的 instance 和铁路运输是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 或那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个另外实体和那个另外实体是铁路车辆的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	如果群体是机构的 instance 和景区和观光交通是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体和另一个实体这样那个实体是运输的 instance 和那个实体是娱乐或锻炼的 instance 和那个有认知的主事是那个实体的 patient 和那个群体 possesses 那个另外实体和那个另外实体是车辆的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	如果群体是机构的 instance 和过境和地面客运是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体和另一个实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 和那个群体 possesses 那个另外实体和那个另外实体是陆地车辆的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	如果群体是机构的 instance 和卡车运输是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个另外实体和那个另外实体是陆地车辆的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	如果群体是机构的 instance 和水运业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体， and 和第三实体这样那个实体是运输的 instance 和那个有认知的主事是那个实体的 patient 或那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是客体的 instance 和那个群体 possesses 那个另外实体和那个另外实体是水车的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1766-1776	如果实体是货车的 instance 和另一个实体是人类的 instance，然后有存在第三实体这样那个第三实体是运输的 instance 和那个另外实体是那个第三实体的 patient 和那个实体是导致那个第三实体的 instrument 的声明 doesn't have 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1748-1758	如果实体是乘用车的 instance 和另一个实体是人类的 instance，然后有存在第三实体这样那个第三实体是运输的 instance 和那个另外实体是那个第三实体的 patient 和那个实体是导致那个第三实体的 instrument 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	如果实数测量单位是车辆的 maximum 有效附载容量和那个车辆对于另一个实数另一个测量单位的 maximum 有效附载高度第三实数第三测量单位和自身连接物体是自身连接物体的 instance 和第四实数那个第四实数U 是那个自身连接物体的 weight 和那个自身连接物体的 width 是第五实数那个第五实数U 和那个自身连接物体的 height 是第六实数那个第六实数U 和那个第四实数U equal 那个测量单位和那个第五实数U equal 那个另外测量单位和那个第六实数U equal 那个第三测量单位和那个第四实数是 lessThanOrEqualTo 那个实数和那个第五实数是 lessThanOrEqualTo 那个另外实数和那个第六实数是 lessThanOrEqualTo 那个第三实数，然后那个车辆能够担当工具的角色做符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2610-2615	如果有点自身连接物体是对于交通类别地区的 trafficable 和有点自身连接物体是运输设备的 subclass 和客体是那个有点自身连接物体的 instance，然后运输 capable 在地点工具对于那个客体跟那个地区在一起
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	如果物理是救护车的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是人类的 instance 和疾病或综合症是那个实体的 attribute 或有存在第三实体和第四实体这样那个第三实体是受伤的 instance 和那个第四实体经历了那个第三实体和那个第三实体%n在那个另外实体 before发生和那个另外实体是运输的 instance 和那个物理是导致那个另外实体的 instrument 和那个第四实体是那个另外实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25501-25509	如果物理是 AirPump 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是运输的 instance 和那个另外实体是空气的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4768-4778	如果物理是 AllTerrainVehicle 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是运输的 instance 和那个物理是导致那个实体的 instrument 和那个物理在那个另外实体的上在那个实体出现的 time holdsDuring 和那个另外实体不是巷道的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 177-185	如果物理是轰炸机的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是运输的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是那个实体的 patient 和那个另外实体是爆炸装置的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	如果物理是总线的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是群体的 instance 和那个另外实体是运输的 instance 和那个第三实体是那个实体的 member 计数和那个第三实体是 greaterThan 11 和如果那个第四实体是那个实体的 member，然后那个第四实体是那个另外实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7179-7185	如果施事体是运输公司的 instance，然后有存在过程这样那个过程是商业服务的 instance 和那个施事体是那个过程的 agent 和那个过程是运输的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2127-2137	如果客体是客运铁路车的 instance，然后有存在那个客体RY 这样那个客体能够担当工具的角色做那个客体RY 所描述的类别
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3223-3231	如果施事体是铁路公司的 instance，然后有存在过程和客体这样那个过程是商业服务的 instance 和那个施事体是那个过程的 agent 和那个过程是运输的 instance 和那个客体是导致那个过程的 instrument 和那个客体是火车的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15970-15972	如果客体是运输设备的 instance，然后那个客体能够担当工具的角色做运输

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

KB Term:			Term intersection

English Word: