TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22689-22690
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22686-22686	会员数的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22687-22687	会员数的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22685-22685	会员数是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1682-1682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1681-1681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37001-37001
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37000-37000
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36999-36999

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 742-746	如果 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和整数是那个 MonoploidChromosomeSet 的 member 计数，然后 monoploidNumber 那个 MonoploidChromosomeSet and 那个整数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7967-7974	如果过程是 LargeGroupProcess 的 instance 和群体是群体的 instance 和物理是那个群体的 member 和那个物理是事件那个过程的 involved 和整数是那个群体的 member 计数，然后那个整数是 greaterThan 10
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4187-4195	如果过程是 Spamming 的 instance 和群体是一群人的 instance 和整数是那个群体的 member 计数和那个过程在那个群体结束，然后那个整数是 greaterThan 100 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22004-22010	如果过程是绑架的 instance 和群体是一群人的 instance 和整数是那个群体的 member 计数和那个群体是那个过程的 patient，然后那个整数是 lessThan 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22731-22735	如果整数是群体的 member 计数和那个群体对于非负整数的 member 类别计数类，然后那个整数是 greaterThanOrEqualTo 那个非负整数
No TPTP formula. May not be expressible in strict first order.	Government.kif 2038-2042	如果整数是机构在组织的数量 seats 和另一个整数是那个机构的 member 计数，然后那个整数是 greaterThanOrEqualTo 那个另外整数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22692-22698	如果整数是群体的 member 计数，然后那个整数 equal 符号串所描述的类别 instance 的数量

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	百分之实数在信仰团体的人相信那个信仰团体若且唯若有存在群体，另一个群体,，，物理,，，那个物理2,，，那个实数1， and 和那个实数2 这样那个物理是 located 在地理区域和那个物理是那个信仰团体的 member 和那个物理是那个群体的 member 和那个实数1 是那个群体的 member 计数和那个物理2 是 located 在那个地理区域和那个物理2 是那个另外群体的 member 和那个实数2 是那个另外群体的 member 计数和那个实数和 100 equal 那个实数1 和那个实数2
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	实数 percent 的人在地理区域是民族群组若且唯若有存在群体，另一个群体,，，物理,，，那个物理2,，，那个实数1， and 和那个实数2 这样那个物理是 located 在那个地理区域和那个物理是那个民族群组的 member 和那个物理是那个群体的 member 和那个实数1 是那个群体的 member 计数和那个物理2 是 located 在那个地理区域和那个物理2 是那个另外群体的 member 和那个实数2 是那个另外群体的 member 计数和那个实数和 100 equal 那个实数1 和那个实数2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	百分之实数的人在地理区域 speak 语言若且唯若有存在群体，另一个群体,，，有感知的主事,，，那个有感知的主事2,，，那个实数1， and 和那个实数2 这样那个有感知的主事是 located 在那个地理区域和那个有感知的主事是那个群体的 member 和那个语言是那个有感知的主事的 speaks 语言和那个实数1 是那个群体的 member 计数和那个有感知的主事2 是 located 在那个地理区域和那个有感知的主事2 是那个另外群体的 member 和那个实数2 是那个另外群体的 member 计数和那个实数和 100 equal 那个实数1 和那个实数2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 702-710	如果 chromosomeNumber 真核细胞 and 整数和客体是那个真核细胞的 part 和那个客体是细胞核的 instance 和那个真核细胞OLL 是群体的 instance 和那个真核细胞OLL 是 located 在那个客体和 Chromosome 是那个真核细胞OLL 的 member 类别，然后那个整数是那个真核细胞OLL 的 member 计数
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 793-802	如果 haploidNumber Gamete and 整数和那个 Gamete 是 Gamete 的 instance 和客体是那个 Gamete 的 part 和那个客体是细胞核的 instance 和群体是群体的 instance 和那个群体是 located 在那个客体和 Chromosome 是那个群体的 member 类别，然后那个整数是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	如果客体是水晶的 instance 和单晶结构是那个客体的 attribute 和自身连接物体是物质的 instance 和固体是那个自身连接物体的 attribute 和多晶结构是那个自身连接物体的 attribute 和另一个自身连接物体是物质的 instance 和那个另外自身连接物体是那个自身连接物体的 surface 和那个客体不是那个另外自身连接物体的 part，然后有存在那个客体LNT，整数， and 和另一个客体这样那个客体LNT 是群体的 instance 和那个整数是那个客体LNT 的 member 计数和那个整数是 greaterThanOrEqualTo 4 和如果那个另外客体是那个客体LNT 的 member，然后那个另外客体是那个自身连接物体的 part 和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21766-21780	如果客体是有点复合物质的 instance 和有点复合物质是复合物质的 subclass 和不存在另一个客体这样那个另外客体是那个有点复合物质的 instance 和那个另外客体是那个客体的 part 和 molecularRatio 有点元素物质, 整数 and 那个有点复合物质和群体是群组的 instance 和第三客体是那个群体的 member 和那个第三客体是那个客体的 part 和那个第三客体是有点元素物质的 instance，然后那个整数是那个群体的 member 计数
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.	Mid-level-ontology.kif 3521-3526	如果群体是 Fleet 的 instance 和施事体有个 fleet 的整数交通工具和那个施事体 possesses 那个群体，然后那个整数是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	如果有点固定人工制品能 accommodate 大部分整数的人和实体是有点固定人工制品的 instance 和那个实体是施事体的财产的 element，然后有存在另一个实体和第三实体这样那个另外实体是一群人的 instance 和那个第三实体是那个另外实体的 member 计数和那个第三实体是 lessThanOrEqualTo 那个整数和那个另外实体 stays 在那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	如果 HotelReservation 也许 have 整数成人和施事体 fulfills 那个 HotelReservation ，然后有存在群体这样那个群体是一群人的 instance 和人类成人是那个群体的 member 类别和那个整数是那个群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	如果 HotelReservation 也许 have 整数孩童和施事体 fulfills 那个 HotelReservation ，然后有存在群体和另一个群体这样那个群体是一群人的 instance 和那个另外群体是那个群体的真正的子集和那个另外群体是一群人的 instance 和人类的孩子是那个另外群体的 member 类别和那个整数是那个另外群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	如果 HotelReservation 也许 have 整数居住者和施事体 fulfills 那个 HotelReservation ，然后有存在群体这样那个群体是一群人的 instance 和人类是那个群体的 member 类别和那个整数是那个群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	如果 Reservation 是对于正整数 customers 和施事体 fulfills 那个 Reservation 和另一个施事体 reserves 那个 Reservation ，然后有存在群体这样那个群体是个 potential customer 对于那个施事体和那个群体是一群人的 instance 和那个另外施事体是那个群体的 member 和那个正整数是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	如果 HotelReservation 是对于整数 seniors 和施事体 fulfills 那个 HotelReservation ，然后有存在群体和实数这样那个群体是一群人的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是人类成人的 instance 和那个物理的 age 是那个实数年持续时间和那个实数是 greaterThanOrEqualTo 60 和那个整数是那个群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30980-30995	如果 shortage 有认知的主事, 有点客体, 货币测量, 时距 and 数量和那个数量是整数的 instance，然后那个有认知的主事 desires 有存在实体和另一个实体这样那个实体是购买的 instance 和那个实体出现的 time 在那个时距时段内发生和 objectTransferred 那个实体 and 那个另外实体和那个货币测量是那个实体的 transaction 总额和那个有认知的主事是那个实体的 agent 和那个另外实体是群体的 instance 和有点客体是那个另外实体的 member 类别和那个数量是那个另外实体的 member 计数和那个有认知的主事 possesses 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30922-30932	如果 shortage 有认知的主事, 有点客体, 货币测量, 时距 and 数量和那个数量是整数的 instance，然后那个有认知的主事 desires 有存在实体这样那个实体是群体的 instance 和有点客体是那个实体的 member 类别和那个数量是那个实体的 member 计数和那个有认知的主事 possesses 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30947-30962	如果 shortage 施事体, 有点客体, 货币测量, 时距 and 整数和那个整数是整数的 instance，然后不存在转移和群体这样那个转移是购买的 instance 和那个转移出现的 time 在那个时距时段内发生和 objectTransferred 那个转移 and 那个群体和那个货币测量是那个转移的 transaction 总额和那个施事体是那个转移的 agent 和那个群体是群体的 instance 和有点客体是那个群体的 member 类别和那个整数是那个群体的 member 计数和那个施事体 possesses 那个群体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10413-10425	如果 breathingRate 肺, 时距 and 整数，然后有存在群体和过程这样那个群体是群体的 instance 和 Breath 是那个群体的 member 类别和那个整数是那个群体的 member 计数和如果那个过程是那个群体的 member，然后那个肺是那个过程的 patient 和那个过程出现的 time 在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-800	如果地区有对于整数的 capacity 根据命题，然后如果那个地区表达那个命题，然后有存在实体和另一个实体这样那个实体是一群人的 instance 和那个另外实体是那个实体的 member 计数和那个另外实体是 lessThanOrEqualTo 那个整数和那个实体是 located 在那个地区的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3101-3118	如果 coilCount WireCoil and 整数，然后有存在群体和那个群体2F 这样那个群体是群体的 instance 和那个整数是那个群体的 member 计数和对所有客体如果那个客体是那个群体的 member，然后那个群体2F 是那个客体的 attribute 和那个群体2F 是封闭的二维图的 instance 和那个客体是那个 WireCoil 的 part 和不存在那个客体2 这样那个客体2 和那个客体重叠和那个客体2 是那个群体的 member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10372-10384	如果 heartRate 心, 时距 and 整数，然后有存在群体和过程这样那个群体是群体的 instance 和 HeartBeat 是那个群体的 member 类别和那个整数是那个群体的 member 计数和如果那个过程是那个群体的 member，然后那个心是那个过程的 patient 和那个过程出现的 time 在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1126-1139	如果客体是 BowlingBall 的 instance，然后有存在群体这样那个群体是群体的 instance 和洞是那个群体的 member 类别和 3 是那个群体的 member 计数和那个群体是 located 在那个客体和那个群体的目的是有存在实体和另一个实体这样那个另外实体是那个群体的 member 和那个实体是手指的 instance 和那个实体 fills 了那个另外实体的一部分
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	如果物理是总线的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是群体的 instance 和那个另外实体是运输的 instance 和那个第三实体是那个实体的 member 计数和那个第三实体是 greaterThan 11 和如果那个第四实体是那个实体的 member，然后那个第四实体是那个另外实体的 patient
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 82-92	如果客体是停车场的 instance，然后有存在群体和整数这样那个群体是 located 在那个客体和对所有物理如果那个物理是那个群体的 member，然后那个物理是 ParkingRegion 的 instance 和那个整数是那个群体的 member 计数和那个整数是 greaterThan 1

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)

KB Term:			Term intersection

English Word: