Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3840-3845	如果客体是 AegilopsGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 DiploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3377-3383	如果客体是海鲜的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是鱼的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 599-607	如果客体是另一个有点客体的 instance 和另一个有点客体是细胞核的 subclass 和 %每个那个另外有点客体是真核细胞的 initially part ，然后有存在第三客体这样那个第三客体是染色质的 instance 和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3993-3998	如果客体是 SpeltWheatGrass 的 instance 和那个客体ELL 是那个客体的 part 和那个客体ELL 是那个客体LASS 的 instance，然后那个客体LASS 是 HexaploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有存在另一个客体和第三客体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个另外客体是那个第三客体的 part 和那个第三客体是那个有点有机物体的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4365-4372	如果客体是香料的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是植物解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	如果客体能够担当格角色的角色做有点过程和有点过程是射击的 subclass，然后有存在另一个客体这样那个另外客体是武器的 instance 和那个另外客体是那个客体的 part 和那个另外客体能够担当那个格角色的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3963-3968	如果客体是 CommonWheatGrass 的 instance 和那个客体ELL 是那个客体的 part 和那个客体ELL 是那个客体LASS 的 instance，然后那个客体LASS 是 HexaploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3904-3909	如果客体是 DurumWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 TetraploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7350-7364	如果客体是礼堂座位的 instance 和那个客体是另一个客体的 part 和第三客体是那个另外客体的 part 和那个另外客体是礼堂的 instance 和那个第三客体是表演阶段的 instance 和第四客体是 located 在那个客体和那个第四客体是人类的 instance 和有点过程是看的 subclass 和对所有另一个过程如果那个另外过程是有点过程的 instance，然后那个第三客体是那个另外过程的 patient ，然后那个第四客体能够担当主事的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Food.kif 1909-1915	如果客体是 meat 的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3934-3939	如果客体是 EinkornWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 DiploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3872-3877	如果客体是 EmmerWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 TetraploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 299-306	如果客体是 FoodFromPlant 的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是植物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15188-15209	如果类是身体组织的 subclass 和另一个类是身体组织的 subclass 和客体是那个类的 instance 和另一个客体是那个另外类的 instance 和第三客体是人类的 instance 和那个客体是那个第三客体的 part 和那个另外客体是那个第三客体的 part 和那个类不 equal 那个另外类和那个类不是那个另外类的 subclass 和那个另外类不是那个类的 subclass 和那个客体在那个另外客体的邻，然后有存在实体这样那个实体是 ConnectiveTissue 的 instance 和那个实体是在那个客体和那个另外客体 between 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3948-3953	如果客体是 TriticumUrartu 的 instance 和另一个客体是那个客体的 part 和那个客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 DiploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1778-1792	如果客体是有点复合物质的 instance 和有点复合物质是复合物质的 subclass 和不存在另一个客体这样那个另外客体是那个有点复合物质的 instance 和那个另外客体是那个客体的 part 和 molecularRatio 有点元素物质, 整数 and 那个有点复合物质和群体是群组的 instance 和第三客体是那个群体的 member 和那个第三客体是那个客体的 part 和那个第三客体是有点元素物质的 instance，然后那个整数是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	如果 Pulmonologist 是客体的 attribute，然后有存在过程，另一个过程,，，另一个客体， and 和第三客体这样类是诊断过程的 subclass 和另一个类是治疗过程的 subclass 和那个另外客体是那个过程的 patient 和那个另外客体是那个另外过程的 patient 和那个第三客体是肺的 instance 和那个第三客体是那个另外客体的 part 和那个过程是 located 在肺和那个另外过程是 located 在肺
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9560-9573	如果客体是植物的 instance 和另一个客体是那个客体的 part，然后有存在过程，实体， and 和另一个有点过程这样那个过程是另一个有点过程的 instance 和那个另外有点过程是保存的 subclass 和那个实体是淡水的 instance 和那个实体是那个过程的 patient 和那个另外客体能够担当工具的角色做那个另外有点过程和那个另外客体是 PlantLeaf 的 instance 或那个另外客体是 PlantStem 的 instance

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