No TPTP formula. May not be expressible in strict first order.	Cars.kif 4089-4121	如果 客体 是 BimetalTemperatureSensor 的 instance 和 另一个 客体 是 金属 的 instance 和 第三 客体 是 金属 的 instance 和 那个 另外 客体 不 equal 那个 第三 客体 和 那个 另外 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 客体 的 part 和 实体 是 温度测量 的 instance 和 另一个 实体 是 温度测量 的 instance 和 实数 是 长度测量 的 instance 和 另一个 实数 是 长度测量 的 instance 和 第三 实数 是 长度测量 的 instance 和 第四 实数 是 长度测量 的 instance 和 那个 实体 不 equal 那个 另外 实体 和 时间位置 不 equal 另一个 时间位置 和 那个 客体 的 measure 是 那个 实体 和 那个 另外 客体 的 measure 是 那个 实数 和 那个 第三 客体 的 measure 是 那个 另外 实数 在 那个 时间位置 holdsDuring 和 那个 客体 的 measure 是 那个 另外 实体 和 那个 另外 客体 的 measure 是 那个 第三 实数 和 那个 第三 客体 的 measure 是 那个 第四 实数 在 那个 另外 时间位置 holdsDuring， 然后 那个 实数 和 那个 另外 实数 不 equal 那个 第三 实数 和 那个 第四 实数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	如果 群体 是 群体 的 instance 和 实数 是 货币测量 的 instance 和 整数 是 实数 的 instance 和 那个 实数 equal 那个 群体 的 value 和 那个 整数 equal 符号串 所描述的类别 instance 的数量， 然后 那个 群体 的 average price equal 那个 实数 和 那个 整数
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	如果 过程 是 CateringService 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 过程 在 那个 过程UST 结束 和 那个 施事体 是 located 在 客体 和 那个 施事体 是 那个 过程UST 的 customer 和 有存在 另一个 过程， 实体， and 和 第三 过程 这样 那个 另外 过程 是 烹饪 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 实体 是 那个 另外 过程 的 result 和 那个 实体 是 那个 过程 的 patient 和 那个 第三 过程 是 进食 的 instance 和 那个 过程UST 是 那个 第三 过程 的 agent 和 那个 第三 过程 是 located 在 另一个 客体 ， 然后 那个 客体 不 equal 那个 另外 客体
No TPTP formula. May not be expressible in strict first order.	Food.kif 3076-3094	如果 过程 是 ChurningButter 的 instance 和 实体 是 乳胶 的 instance 和 那个 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体 和 第三 实体 这样 那个 实体 equal 那个 另外 实体 和 那个 另外 实体 是 乳 的 instance 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 equal 那个 第三 实体 和 那个 第三 实体 是 黄油 的 instance 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 1107-1112	如果 客体 是 CoffeeGrind 的 instance 和 CoarseGrind 是 那个 客体 的 attribute 和 grainSize 那个 客体 and 实数， 然后 那个 实数 equal 1.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1095-1100	如果 客体 是 CoffeeGrind 的 instance 和 ExtraCoarseGrind 是 那个 客体 的 attribute 和 grainSize 那个 客体 and 实数， 然后 那个 实数 equal 1.5
No TPTP formula. May not be expressible in strict first order.	Food.kif 1167-1172	如果 客体 是 CoffeeGrind 的 instance 和 ExtraFineGrind 是 那个 客体 的 attribute 和 grainSize 那个 客体 and 实数， 然后 那个 实数 equal 0.1
No TPTP formula. May not be expressible in strict first order.	Food.kif 1155-1160	如果 客体 是 CoffeeGrind 的 instance 和 FineGrind 是 那个 客体 的 attribute 和 grainSize 那个 客体 and 实数， 然后 那个 实数 equal 0.3
No TPTP formula. May not be expressible in strict first order.	Food.kif 1119-1124	如果 客体 是 CoffeeGrind 的 instance 和 MediumCoarseGrind 是 那个 客体 的 attribute 和 grainSize 那个 客体 and 实数， 然后 那个 实数 equal 0.85
No TPTP formula. May not be expressible in strict first order.	Food.kif 1143-1148	如果 客体 是 CoffeeGrind 的 instance 和 MediumFineGrind 是 那个 客体 的 attribute 和 grainSize 那个 客体 and 实数， 然后 那个 实数 equal 0.5
No TPTP formula. May not be expressible in strict first order.	Food.kif 1131-1136	如果 客体 是 CoffeeGrind 的 instance 和 MediumGrind 是 那个 客体 的 attribute 和 grainSize 那个 客体 and 实数， 然后 那个 实数 equal 0.75
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 754-765	如果 过程 是 Cricothyroidotomy 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 洞 的 instance 和 第三 实体 equal 洞 那个 另外 实体 的主体 和 那个 第三 实体 是 喉 的 instance 和 那个 第三 实体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 3226-3247	如果 过程 是 CurdlingMilk 的 instance 和 物理 是 乳 的 instance 和 那个 物理 是 那个 过程 的 patient， 然后 有存在 实数， 另一个 过程,， ， 实体， and 和 另一个 实体 这样 那个 物理 的 measure 是 那个 实数 酸碱度 和 那个 另外 过程 是 减少 的 instance 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 实数 是 那个 另外 过程 的 patient 和 那个 实数 equal 那个 实体 在 那个 另外 过程 出现 的 time 的开始 holdsDuring 和 那个 实数 equal 那个 另外 实体 在 那个 另外 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7636-7641	如果 客体 是 客体 的 instance 和 那个 客体 是 圈 ， 然后 有存在 几何点 这样 圆 那个 客体 的 center equal 那个 几何点
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	如果 过程 是 Sneezing 的 instance 和 施事体 经历了 那个 过程， 然后 那个 过程 的 目的 是 有存在 实体， 另一个 实体,， ， 那个 另外 实体OSE， and 和 第四 实体 这样 那个 另外 实体 是 NasalCavity 的 instance 和 那个 另外 实体OSE 是 鼻子 的 instance 和 那个 另外 实体OSE equal 洞 那个 另外 实体 的主体 和 那个 第四 实体 是 客体 的 instance 和 那个 实体 是 移除 的 instance 和 那个 另外 实体OSE 是 那个 施事体 的 part 和 objectTransferred 那个 实体 and 那个 第四 实体 和 那个 第四 实体 是 located 在 那个 另外 实体 在 紧接 那个 过程 出现 的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	如果 协议 是 民政协议 的 instance 和 那个 协议 是 实体_MIL_THIS 的 party 协议 和 那个 实体_MIL_THIS 是 军事组织 的 instance 和 另一个 实体_THIS 是 那个 实体_MIL_THIS 的 military 区域 和 那个 另外 实体_THIS 是 国家 的 instance 和 那个 实体_MIL_THIS 是 located 在 那个 另外 实体_FRIENDLY 和 那个 另外 实体_FRIENDLY 是 国家 的 instance， 然后 那个 另外 实体_THIS 不 equal 那个 另外 实体_FRIENDLY 和 enemy 那个 另外 实体_THIS and 那个 另外 实体_FRIENDLY 和 有存在 那个 实体_FRIENDLY 这样 那个 实体_FRIENDLY 是 located 在 那个 另外 实体_FRIENDLY 和 那个 协议 是 那个 实体_FRIENDLY 的 party 协议 和 那个 实体_FRIENDLY 不 是 军事组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3414-3429	如果 客体 是 CarbonDioxide 的 instance 和 那个 客体 是 分子 的 instance， 然后 有存在 另一个 客体， 第三 客体， and 和 第四 客体 这样 那个 另外 客体 是 碳 的 instance 和 那个 第三 客体 是 氧 的 instance 和 那个 第四 客体 是 氧 的 instance 和 那个 另外 客体 是 原子 的 instance 和 那个 第三 客体 是 原子 的 instance 和 那个 第四 客体 是 原子 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 客体 的 part 和 那个 第四 客体 是 那个 客体 的 part 和 那个 第三 客体 不 equal 那个 第四 客体
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 810-815	如果 Gamete 是 HaploidCell 的 instance 和 chromosomeNumber 那个 Gamete and 整数 和 haploidNumber 那个 Gamete and 另一个 整数， 然后 那个 整数 equal 那个 另外 整数
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1003-1022	如果 客体 是 HexaploidCell 的 instance 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 细胞核 的 instance 和 群体 是 located 在 那个 另外 客体 和 那个 群体 是 群体 的 instance 和 Chromosome 是 那个 群体 的 member 类别， 然后 有存在 另一个 群体， 第三 群体， and 和 第四 群体 这样 那个 另外 群体 是 HomologousChromosomeSet 的 instance 和 那个 另外 群体 是 那个 群体 的 真正的子集 和 那个 第三 群体 是 HomologousChromosomeSet 的 instance 和 那个 第三 群体 是 那个 群体 的 真正的子集 和 那个 第四 群体 是 HomologousChromosomeSet 的 instance 和 那个 第四 群体 是 那个 群体 的 真正的子集 和 那个 另外 群体 不 equal 那个 第三 群体
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 772-781	如果 真核细胞 是 MonoploidCell 的 instance 和 chromosomeNumber 那个 真核细胞 and 整数 和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和 那个 MonoploidChromosomeSet 是 located 在 客体 和 那个 客体 是 细胞核 的 instance 和 那个 客体 是 那个 真核细胞 的 part 和 monoploidNumber 那个 MonoploidChromosomeSet and 另一个 整数， 然后 那个 整数 equal 那个 另外 整数
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 755-770	如果 客体 是 MonoploidCell 的 instance 和 另一个 客体 是 细胞核 的 instance 和 那个 另外 客体 是 那个 客体 的 part， 然后 有存在 物理 这样 那个 物理 是 MonoploidChromosomeSet 的 instance 和 那个 物理 是 located 在 那个 另外 客体 和 不存在 另一个 物理 这样 那个 另外 物理 是 MonoploidChromosomeSet 的 instance 和 那个 另外 物理 不 equal 那个 物理 和 那个 另外 物理 是 located 在 那个 另外 客体
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 950-965	如果 客体 是 TetraploidCell 的 instance 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 细胞核 的 instance 和 群体 是 located 在 那个 另外 客体 和 那个 群体 是 群体 的 instance 和 Chromosome 是 那个 群体 的 member 类别， 然后 有存在 另一个 群体 和 第三 群体 这样 那个 另外 群体 是 HomologousChromosomeSet 的 instance 和 那个 另外 群体 是 那个 群体 的 真正的子集 和 那个 第三 群体 是 HomologousChromosomeSet 的 instance 和 那个 第三 群体 是 那个 群体 的 真正的子集 和 那个 另外 群体 不 equal 那个 第三 群体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11669-11676	如果 过程 是 改变所有权 的 instance 和 实体 是 那个 过程 的 patient 和 另一个 实体 possesses 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 第三 实体 possesses 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring， 然后 那个 另外 实体 不 equal 那个 第三 实体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 金融交易 的 instance ， 然后 有存在 符号串 和 实体 这样 那个 符号串 所描述的类别 instance 的数量 equal 在 那个 群体 裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 WebListing 的 instance ， 然后 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 所描述的类别 instance 的数量 和 那个 群体 instance 的数量 equal 在 那个 群体 的 bids 數字
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