TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14356-14356	生物和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3372-3372
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14358-14359
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6747-6747
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7483-7483
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7484-7484
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7485-7485
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7487-7487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14357-14357	生物详尽无遗地 partition 成动物, 植物, 菌类, 和微生物
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14355-14355	生物是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14354-14354	生物是有机物体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14348-14348	有机物体详尽无遗地 partition 成生物和解剖结构
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14446-14446	动物是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14425-14425	菌类是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 234-234	基因工程生物是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14451-14451	微生物是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5888-5888	Parasite 是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14399-14399	植物是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 187-187	有毒生物是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 964-964
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1135-1135
No TPTP formula. May not be expressible in strict first order.	french_format.kif 641-641
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 172-172
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 175-175
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2325-2325
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 593-593
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 209-209
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 662-662
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 176-176

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31727-31727	OrganismPopulationFn 的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16350-16350	祖先的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16351-16351	祖先的 2 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 506-506	coreBodyTemp 的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16438-16438	女儿的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16439-16439	女儿的 2 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16332-16332	家属关系的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16333-16333	家属关系的 2 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16426-16426	父亲的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16427-16427	父亲的 2 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14370-14370	居住的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16409-16409	母亲的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16410-16410	母亲的 2 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6277-6277	寄生物的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6278-6278	寄生物的 2 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16365-16365	父母的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16366-16366	父母的 2 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16311-16311	相对的的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16312-16312	相对的的 2 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6448-6448	sheddingBodyPart 的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16465-16465	兄弟姐妹的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16466-16466	兄弟姐妹的 2 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16450-16450	儿子的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16451-16451	儿子的 2 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 87-87	AgentOfOrganismFn 的 1 数量是生物的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16324-16329	如果实体和另一个实体之间有 legalRelation 在时间位置 holdsDuring 和那个实体是生物的 instance 和那个另外实体是生物的 instance，然后那个另外实体是那个实体的 relative 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18117-18122	如果客体是繁殖体的 instance 和那个客体是另一个客体的 part 和那个另外客体是生物的 instance，然后女是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	如果过程是死亡的 instance 和施事体是生物的 instance 和那个施事体经历了那个过程，然后有存在实体和另一个实体这样那个实体是那个过程的 result 和那个实体是有机物体的 instance 和死是那个实体的 attribute 在那个过程出现的 time 之后 holdsDuring 和如果那个另外实体是那个实体的 part 在紧接那个过程出现的 time after holdsDuring，然后那个另外实体是那个施事体的 part 在紧接那个过程出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	如果过程是死亡的 instance 和实体是 OrganismRemains 的 instance 和施事体是生物的 instance 和另一个实体是那个实体的 part 在时距 holdsDuring 和那个另外实体是那个施事体的 part 在另一个时距 holdsDuring 和那个另外时距比那个时距发生的earlier 和那个施事体经历了那个过程，然后那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	如果过程是死亡的 instance 和实体是 OrganismRemains 的 instance 和施事体是生物的 instance 和另一个实体是那个实体的 part 在时距 holdsDuring 和那个另外实体是那个施事体的 part 在另一个时距 holdsDuring 和那个另外时距比那个时距发生的earlier 和那个实体是那个过程的 result，然后那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	如果设备是枪的 instance 和测量单位是 UnitOfLength 的 instance 和实数那个测量单位是那个设备的 effective 范围和那个设备和客体的 distance 是那个实数1 那个测量单位和那个客体是生物的 instance 和不存在那个客体2 这样那个客体2 是在那个客体和那个设备 between 和那个实数1 是 lessThanOrEqualTo 那个实数，然后有存在符号串这样那个设备能够担当工具的角色做那个符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10449-10454	如果过程是损坏的 instance 和实体是生物的 instance 和那个实体是那个过程的 patient，然后那个过程是受伤的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	如果客体是生物的 instance 和另一个客体是蛋的 instance 和胚胎是那个客体的 attribute 和那个客体是那个另外客体的 part，然后有存在物理这样那个物理是 EggYolk 的 instance 和那个物理的目的是有存在实体这样那个实体是消化的 instance 和那个客体是那个实体的 agent 和那个物理是那个实体的 resource
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18085-18089	如果施事体是生物的 instance 和那个施事体是过程的 agent，然后活的是那个施事体的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5210-5222	如果实体是 ForestProduct 的 instance 和过程是制造的 instance 和那个实体是那个过程的 result 和另一个实体是那个过程的 patient 和那个另外实体是生物的 instance，然后有存在另一个过程和客体这样那个另外过程是农业的 instance 和那个另外实体是那个另外过程的 result 和那个另外过程是 located 在那个客体和那个客体是森林的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6425-6434	如果实体是 SheddingPart 的 instance 和那个实体另一个实体 and 第三实体和那个另外实体是那个另外实体RG 的 instance 和那个另外实体RG 是生物的 subclass，然后有存在那个第三实体ART 这样那个第三实体是一个 dead 那个第三实体ART 的 instance 和 %每个那个第三实体ART 是那个另外实体RG 的 initially part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6412-6423	如果实体是 SheddingPart 的 instance 和那个实体客体 and 另一个客体和那个客体是生物的 instance 和那个另外客体是解剖结构的 instance 和那个另外客体是那个客体的 part，然后有存在过程这样那个过程是移除的 instance 和那个客体是那个过程的源头和那个另外客体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	如果实体是有机物体的 instance 和过程是死亡的 instance 和施事体是生物的 instance 和那个施事体经历了那个过程和那个实体是那个过程的 result，然后那个实体是 OrganismRemains 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15000-15005	如果客体是动物解剖结构的 instance 和另一个客体是生物的 instance 和那个客体是那个另外客体的 part，然后那个另外客体是动物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15011-15016	如果客体是植物解剖结构的 instance 和另一个客体是生物的 instance 和那个客体是那个另外客体的 part，然后那个另外客体是植物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14816-14821	如果客体是动物物质的 instance 和另一个客体是生物的 instance 和那个客体是那个另外客体的 part，然后那个另外客体是动物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14827-14832	如果客体是植物物质的 instance 和另一个客体是生物的 instance 和那个客体是那个另外客体的 part，然后那个另外客体是植物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16379-16384	如果生物是另一个生物的 parent 和类是生物的 subclass 和那个生物是那个类的 instance，然后那个另外生物是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10154-10156	如果客体是生物的 instance，然后那个客体能够担当经历者的角色做生物过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12323-12325	如果客体是生物的 instance，然后那个客体能够担当主事的角色做杀害
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12327-12329	如果客体是生物的 instance，然后那个客体能够担当受事的角色做杀害
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10149-10152	如果客体是生物的 instance，然后那个客体不能够担当主事的角色做生物过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18097-18102	如果客体是生物的 instance，然后有存在属性这样那个属性是生命度属性的 instance 和那个属性是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18158-18163	如果客体是生物的 instance，然后有存在属性这样那个属性是发育属性的 instance 和那个属性是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 96-99	如果物理是生物的 instance，然后活的是那个物理的 attribute 在那个物理出现的 time holdsDuring

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	如果实数每公斤微克 equal 质量测量是另一个质量测量的 per 和那个另外质量测量 equal 另一个实数公克的百万分之一和那个质量测量 equal 第三实数公克的一千倍，然后有存在过程，自身连接物体， and 和另一个自身连接物体这样那个过程是消化的 instance 和那个自身连接物体是生物活性物质的 instance 和那个另外自身连接物体是生物的 instance 和那个自身连接物体是那个过程的 patient 和那个另外自身连接物体是那个过程的 agent 和那个另外质量测量是那个自身连接物体的 weight 和那个质量测量是那个另外自身连接物体的 weight
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有点有机物体是生物的 subclass 或那个有点有机物体是解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	如果过程是消化的 instance 和客体是那个过程的 resource，然后那个客体是 food for 生物的 instance 或那个客体是医学的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 64-68	如果过程是生化攻击的 instance 和实体是那个过程的 patient，然后那个实体是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14472-14476	如果生物是细菌的 instance 和那个生物住在客体，然后那个客体是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11554-11558	如果过程是咀嚼的 instance 和客体是那个过程的 resource，然后那个客体是 food for 生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14431-14435	如果生物是菌类的 instance 和那个生物住在客体，然后那个客体是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5847-5859	如果过程是 Infecting 的 instance 和施事体经历了那个过程，然后有存在运动，另一个过程， and 和另一个施事体这样那个运动是易位的 instance 和移动那个运动 and 那个另外施事体和那个另外施事体是生物的 instance 和那个另外过程是复制的 instance 和那个另外施事体经历了那个另外过程和那个运动%n是那个过程的subProcess 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12296-12303	如果过程是杀害的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个施事体是生物的 instance 和那个实体是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10143-10147	如果过程是生物过程的 instance 和施事体经历了那个过程，然后那个施事体是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12244-12253	如果过程是治疗过程的 instance 和客体是那个过程的 patient，然后那个客体是生物的 instance 或有存在另一个客体这样那个另外客体是生物的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 45-56	如果物理是 OrganismRemains 的 instance 和实体是那个物理的 part 在那个物理出现的 time holdsDuring，然后有存在另一个物理这样那个另外物理是生物的 instance 和那个另外物理出现的 time 比那个物理出现的 time发生的earlier 和那个物理出现的 time finishes了才到那个另外物理出现的 time 和那个实体是那个另外物理的 part 在那个另外物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14484-14488	如果生物是病毒的 instance 和那个生物住在客体，然后那个客体是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 51-53	如果生食是客体的 attribute，然后那个客体是 food for 生物的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-900	如果实数是疾病或综合症的 disease 死亡，然后如果有存在实体这样那个实体是死亡的 instance 和另一个实体经历了那个实体是正确，那有存在那个另外实体这样那个另外实体是生物的 instance 和那个疾病或综合症是那个另外实体的 attribute 的机率就是那个实数
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	如果客体是化学剂的 instance，然后不存在另一个客体，过程， and 和第三客体这样那个另外客体是生物的 instance 和那个过程是生物过程的 instance 和那个另外客体是导致那个过程的 instrument 和那个第三客体是那个过程的 result 和那个第三客体是和那个客体完全相同的 copy
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14921-14927	如果实体是解剖结构的 instance，然后有存在物理和时间位置这样那个物理是生物的 instance 和那个时间位置时段是那个物理出现的 time 时段的一 part 和那个实体是那个物理的 part 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	如果物理是生化攻击的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是损坏的 instance 和那个另外实体是那个实体的 patient 和那个物理 causes 那个实体和那个另外实体是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18270-18276	如果实体是心理属性的 instance，然后如果那个实体是另一个实体的 attribute 在时间位置 holdsDuring 和那个另外实体是生物的 instance，然后活的是那个另外实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	如果物理是 Catheter 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，那个另外实体BJ， and 和第四实体这样那个另外实体是生物的 instance 和那个实体是运动的 instance 和移动那个实体 and 那个另外实体BJ 和那个第四实体在那个另外实体的外和那个物理%n是那个实体发生的path 和那个第四实体是那个实体的源头和那个实体在那个另外实体结束或那个另外实体是那个实体的源头和那个实体在那个第四实体结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 570-577	如果转移是 Catheterization 的 instance，然后有存在那个转移ATH 和实体这样那个转移ATH 是 Catheter 的 instance 和那个实体是生物的 instance 和 objectTransferred 那个转移 and 那个转移ATH 和那个转移在那个实体结束
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15077-15084	如果客体是身体外层的 instance，然后有存在另一个客体这样那个客体是那个另外客体的 superficialPart 和那个另外客体是生物的 instance 或那个另外客体是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10440-10447	如果过程是受伤的 instance，然后那个过程是损坏的 instance 和有存在实体这样那个实体是生物的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11119-11124	如果过程是身体运动的 instance，然后有存在施事体这样那个施事体是生物的 instance 和那个施事体是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14955-14961	如果实体是身体部位的 instance，然后有存在物理和时间位置这样那个物理是生物的 instance 和那个时间位置时段是那个物理出现的 time 时段的一 part 和那个实体是那个物理的 component 在那个时间位置 holdsDuring

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: