TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17818-17820
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 286-286
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 298-298
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 261-261
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 285-285
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 275-275
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 292-292
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 278-278
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 297-297
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 280-280
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 289-289
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 288-288
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 294-294
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1619-1619
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 295-295
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 150-150
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 276-276
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 267-267
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 302-302
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 272-272
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 291-291
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 279-279
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 266-266
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 271-271
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 270-270

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1698-1698	飞机是飞机制造业的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2582-2582	飞机是飞机的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2593-2593	滑翔机是飞机的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17826-17826	直升机是飞机的 subclass
No TPTP formula. May not be expressible in strict first order.	Military.kif 155-155	军用飞机是飞机的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2592-2592	火箭是飞机的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6120-6120
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6119-6119
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6118-6118

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

MilitaryDevices.kif 1456-1456

绝对高度的 1 数量是飞机的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1462-1467	飞机的 altitude 是自身连接物体和那个自身连接物体是行星地球的 surface 和那个飞机是飞机的 instance 若且唯若高度测量是 absolute 那个飞机的高度
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17822-17824	如果客体是飞机的 instance，然后那个客体能够担当工具的角色做航空运输

consequent

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.	Biography.kif 436-465	如果航空工程师是施事体的 attribute，然后有存在有点过程这样那个施事体 hasSkill 去做有点过程和对所有另一个过程如果那个另外过程是那个有点过程的 instance，然后有存在第三过程，实体， and 和那个另外过程T 这样那个第三过程是制作的 instance 和那个实体是飞机的 instance 或那个实体是那个另外过程T 的 instance 和那个另外过程T typically 是飞机的 part 和那个实体是那个第三过程的 result 和那个另外过程%n是那个第三过程的subProcess 或有存在第四过程，那个另外过程LAN,，，那个实体， and 和那个另外过程T 这样那个第四过程是设计的 instance 和那个实体是飞机的 instance 或那个实体是那个另外过程T 的 instance 和那个另外过程T typically 是飞机的 part 和那个另外过程LAN 是那个第四过程的 result 和那个另外过程LAN 表达那个实体和那个另外过程%n是那个第四过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3323-3330	如果施事体是 Airline 的 instance，然后有存在群体和物理这样那个群体是 Fleet 的 instance 和那个施事体 possesses 那个群体和那个物理是飞机的 instance 和那个物理是那个群体的 member
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 736-741	如果过程是空中侦察的 instance，然后有存在客体这样那个客体是飞机的 instance 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17802-17807	如果过程是 FlyingAircraft 的 instance，然后有存在实体这样那个实体是飞机的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3359-3366	如果过程是 AirTransportationService 的 instance，然后有存在客体和另一个过程这样那个另外过程是航空运输的 instance 和那个另外过程%n是那个过程的subProcess 和那个客体是导致那个另外过程的 instrument 和那个客体是飞机的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17689-17696	如果过程是航空运输的 instance，然后有存在客体和另一个客体这样那个客体是飞机的 instance 和那个另外客体是大气地区的 instance 和那个客体是导致那个过程的 instrument 和那个过程是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1516-1521	如果客体是翼装置的 instance，然后有存在另一个客体这样那个另外客体是飞机的 instance 和那个客体是那个另外客体的 part

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: