No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 920-930	如果 客体 是 TriploidCell 的 instance 和 另一个 客体 是 细胞核 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 群体 是 located 在 那个 另外 客体 和 那个 群体 是 群体 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和 那个 MonoploidChromosomeSet 是 那个 群体 的 真正的子集， 然后 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个 群体 and 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12929-12940	如果 客体 是 下巴 的 instance 和 另一个 客体 是 面对 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 对所有 第三 客体 如果 那个 第三 客体 是 那个 另外 客体 的 part 和 那个 第三 客体 不 是 那个 客体 的 part， 然后 那个 第三 客体 在 那个 客体 的 下面
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 812-817	如果 地缘政治区域 是 美国城市 的 instance 和 那个 地缘政治区域 是 加州 的 part 和 那个 地缘政治区域 不 equal 洛杉矶加利福尼亚州， 然后 洛杉矶加利福尼亚州 的 resident instance 的数量 是 greaterThan 那个 地缘政治区域 的 resident instance 的数量
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	如果 地缘政治区域 是 城市 的 instance 和 那个 地缘政治区域 是 法国 的 part， 然后 那个 地缘政治区域 的 resident instance 的数量 是 lessThanOrEqualTo 巴黎 的 resident instance 的数量
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 938-948	如果 群体 是 群体 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和 那个 MonoploidChromosomeSet 是 那个 群体 的 真正的子集 和 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个 群体 and 4 和 那个 群体 是 located 在 客体 和 那个 客体 是 细胞核 的 instance 和 那个 客体 是 另一个 客体 的 part， 然后 那个 另外 客体 是 TetraploidCell 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 991-1001	如果 群体 是 群体 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和 那个 MonoploidChromosomeSet 是 那个 群体 的 真正的子集 和 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个 群体 and 6 和 那个 群体 是 located 在 客体 和 那个 客体 是 细胞核 的 instance 和 那个 客体 是 另一个 客体 的 part， 然后 那个 另外 客体 是 HexaploidCell 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3985	如果 群体 是 群体 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 客体 是 那个 群体 的 member 和 那个 客体 是 CommonWheatGrass 的 part， 然后 有存在 另一个 群体， 第三 群体,， ， 另一个 有点 客体， and 和 第三 有点 客体 这样 那个 另外 群体 是 那个 群体 的 真正的子集 和 那个 另外 群体 是 HomologousChromosomeSet 的 instance 和 另一个 有点 客体 是 那个 另外 群体 的 member 类别 和 %每个 那个 另外 有点 客体 是 EmmerWheatGrass 的 initially part 和 那个 第三 群体 是 那个 群体 的 真正的子集 和 那个 第三 群体 是 HomologousChromosomeSet 的 instance 和 第三 有点 客体 是 那个 第三 群体 的 member 类别 和 %每个 那个 第三 有点 客体 是 AegilopsTauschii 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3926	如果 群体 是 群体 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 客体 是 那个 群体 的 member 和 那个 客体 是 DurumWheatGrass 的 part， 然后 有存在 另一个 群体， 第三 群体,， ， 另一个 有点 客体， and 和 第三 有点 客体 这样 那个 另外 群体 是 那个 群体 的 真正的子集 和 那个 另外 群体 是 HomologousChromosomeSet 的 instance 和 另一个 有点 客体 是 那个 另外 群体 的 member 类别 和 %每个 那个 另外 有点 客体 是 TriticumUrartu 的 initially part 和 那个 第三 群体 是 那个 群体 的 真正的子集 和 那个 第三 群体 是 HomologousChromosomeSet 的 instance 和 第三 有点 客体 是 那个 第三 群体 的 member 类别 和 %每个 那个 第三 有点 客体 是 AegilopsSpeltoides 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3879-3894	如果 群体 是 群体 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 客体 是 那个 群体 的 member 和 那个 客体 是 EmmerWheatGrass 的 part， 然后 有存在 另一个 群体， 第三 群体,， ， 另一个 有点 客体， and 和 第三 有点 客体 这样 那个 另外 群体 是 那个 群体 的 真正的子集 和 那个 另外 群体 是 HomologousChromosomeSet 的 instance 和 另一个 有点 客体 是 那个 另外 群体 的 member 类别 和 %每个 那个 另外 有点 客体 是 EinkornWheatGrass 的 initially part 和 那个 第三 群体 是 那个 群体 的 真正的子集 和 那个 第三 群体 是 HomologousChromosomeSet 的 instance 和 第三 有点 客体 是 那个 第三 群体 的 member 类别 和 %每个 那个 第三 有点 客体 是 AegilopsGrass 的 initially part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 895-904	如果 群体 是 群体 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 MonoploidChromosomeSet 是 那个 群体 的 真正的子集 和 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个 群体 and 2 和 那个 群体 是 located 在 客体 和 那个 客体 是 细胞核 的 instance 和 那个 客体 是 另一个 客体 的 part， 然后 那个 另外 客体 是 DiploidCell 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 906-912	如果 物理 是 HomologousChromosomeSet 的 instance 和 那个 物理 是 located 在 客体 和 那个 客体 是 细胞核 的 instance 和 那个 客体 是 另一个 客体 的 part， 然后 那个 另外 客体 是 DiploidCell 的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 865-874	如果 群体 是 HomologousChromosomeSet 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 那个 群体 是 located 在 客体 和 那个 客体 是 细胞核 的 instance 和 那个 客体 是 真核细胞 的 part 和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和 那个 MonoploidChromosomeSet 是 那个 群体 的 真正的子集， 然后 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个 群体 and 2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 876-887	如果 群体 是 HomologousChromosomeSet 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 那个 群体 是 located 在 客体 和 那个 客体 是 细胞核 的 instance 和 那个 客体 是 真核细胞 的 part 和 MonoploidChromosomeSet 是 那个 群体 的 真正的子集 和 另一个 MonoploidChromosomeSet 是 那个 群体 的 真正的子集 和 那个 MonoploidChromosomeSet 不 equal 那个 另外 MonoploidChromosomeSet， 然后 homologousChromosomePair 那个 MonoploidChromosomeSet and 那个 另外 MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 718-730	如果 群体 是 MonoploidChromosomeSet 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 那个 群体 是 located 在 客体 和 那个 客体 是 细胞核 的 instance 和 那个 客体 是 真核细胞 的 part 和 Chromosome 是 那个 群体 的 member 和 另一个 Chromosome 是 那个 群体 的 member 和 那个 Chromosome 不 equal 那个 另外 Chromosome， 然后 homologousChromosome 那个 Chromosome and 那个 另外 Chromosome
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.	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.	Economy.kif 3904-3909	如果 客体 是 DurumWheatGrass 的 instance 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 那个 另外 客体LASS 的 instance， 然后 那个 另外 客体LASS 是 TetraploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1636-1643	如果 客体 是 Eardrum 的 instance 和 那个 客体 是 施事体 的 part 和 那个 施事体 经历了 那个 施事体EAR 和 Healthy 是 那个 施事体 的 attribute 和 那个 施事体EAR 是 听 的 instance， 然后 那个 客体 是导致 那个 施事体EAR 的 instrument
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.	Anatomy.kif 1458-1467	如果 群体 是 Eyebrow 的 instance 和 Healthy 是 客体 的 attribute 和 那个 群体 是 那个 客体 的 part 和 物理 是 那个 群体 的 member， 然后 有存在 那个 客体AIR 这样 那个 客体AIR 是 头发 的 instance 和 那个 客体AIR 是 那个 群体 的 part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1450-1456	如果 群体 是 Eyebrow 的 instance 和 Healthy 是 客体 的 attribute 和 那个 群体 是 那个 客体 的 part 和 物理 是 那个 群体 的 member， 然后 2 是 那个 群体 的 member 计数
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1439-1448	如果 客体 是 Eyebrow 的 instance 和 Healthy 是 另一个 客体 的 attribute 和 那个 客体 是 那个 另外 客体 的 part， 然后 有存在 那个 客体YE 这样 那个 客体YE 是 眼睛 的 instance 和 那个 客体YE 是 那个 另外 客体 的 part 和 那个 客体YE 在 那个 客体 的 近
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	如果 客体 是 Eyebrow 的 instance 和 Healthy 是 另一个 客体 的 attribute 和 站立 是 那个 另外 客体 的 attribute 在 时间位置 holdsDuring 和 那个 客体 是 那个 另外 客体 的 part， 然后 有存在 那个 客体YE 这样 那个 客体YE 是 眼睛 的 instance 和 那个 客体YE 是 那个 另外 客体 的 part 和 那个 客体 在 那个 客体YE 的 以上
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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