Collection - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1262-1262	群体和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1630-1632
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1264-1268
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 212-215
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 252-255
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10668-10668
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10667-10667
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10663-10663
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10674-10674
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10662-10662
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10673-10673
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9948-9948
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10666-10666
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10672-10672
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10669-10669
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10659-10659
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10671-10671
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10661-10661
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10660-10660
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10670-10670
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10675-10675
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10665-10665
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10664-10664
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1261-1261	群体是客体的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 2607-2607	UnitedStatesMinorOutlyingIslands 是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4168-4168	QPViewsFn 的 range 是群体的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4233-4233	QualifiedTreatmentsFn 的 range 是群体的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4200-4200	QualifyingEventsFn 的 range 是群体的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3035-3035	QualifyingPurchasesFn 的 range 是群体的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 985-985	SellersItemsFn 的 range 是群体的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1024-1024	SellersOtherItemsFn 的 range 是群体的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3368-3368	SiteWideNewBuyersFn 的 range 是群体的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3420-3420	SiteWideNewRegistrationsFn 的 range 是群体的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3467-3467	SiteWideNewSellersFn 的 range 是群体的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4276-4276	TreatedUsersFn 的 range 是群体的实例
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5842-5842	群岛是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2507-2507	一盒巧克力是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 255-255	Buffet 是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5302-5302	服装套装是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7619-7619	通讯系统是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3317-3317	ComputerSystem 是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22323-22323	护航是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Music.kif 60-60	Discography 是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25452-25452	FireSprinklerSystem 是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3512-3512	Fleet 是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1057-1057	高尔基体是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16223-16223	群组是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 859-859	HomologousChromosomeSet 是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1718-1718	HotelMiniBar 是群体的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3225-3225	ABPFn 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3270-3270	ASPFn 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3193-3193	AuctionGMBFn 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2912-2912	BidCountFn 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2878-2878	BoughtItemsFn 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3327-3327	ClickThroughRateFn 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2841-2841	ConversionRateFn 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2947-2947	GMBFn 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2990-2990	GMVFn 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3658-3658	SCRFn 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 824-824	chromosomeSetCount 的 2 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3841-3841	controlGroup 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4034-4034	experimentalTreatmentCollection 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3519-3519	firstTimeBuyers 的 3 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3567-3567	firstTimeSellers 的 3 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1003-1003	舰队载重吨位的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 985-985	船队总注册吨位的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22718-22718	库存的 2 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4609-4609	meceCollection 的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4611-4611	meceCollection 的 2 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1280-1280	组员的 2 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22700-22700	当时的组员的 2 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22634-22634	会员数的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22649-22649	会员类型的 1 数量是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22663-22663	会员类型计数的 1 数量是群体的 instance

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.	VirusProteinAndCellPart.kif 703-711	如果 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 794-803	如果 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.	UXExperimentalTerms.kif 3202-3215	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 Auctioning 的 instance ，然后有存在符号串和实体_PURCHASE_AMOUNT 这样 total 价值在那个符号串所描述的类别是那个实体_PURCHASE_AMOUNT 和那个群体的 total purchase price equal 那个实体_PURCHASE_AMOUNT
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.	VirusProteinAndCellPart.kif 1004-1023	如果客体是 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 974-984	如果客体是 PentaploidCell 的 instance 和另一个客体是细胞核的 instance 和那个另外客体是那个客体的 part 和群体是 located 在那个另外客体和那个群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和那个 MonoploidChromosomeSet 是那个群体的真正的子集，然后 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 and 5
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 951-966	如果客体是 TetraploidCell 的 instance 和另一个客体是那个客体的 part 和那个另外客体是细胞核的 instance 和群体是 located 在那个另外客体和那个群体是群体的 instance 和 Chromosome 是那个群体的 member 类别，然后有存在另一个群体和第三群体这样那个另外群体是 HomologousChromosomeSet 的 instance 和那个另外群体是那个群体的真正的子集和那个第三群体是 HomologousChromosomeSet 的 instance 和那个第三群体是那个群体的真正的子集和那个另外群体不 equal 那个第三群体
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 921-931	如果客体是 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.	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 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在符号串，实体,，，另一个实体， and 和那个符号串这样那个符号串所描述的类别 instance 的数量 equal 在那个群体的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	如果群体是群体的 instance 和 WebSite 是 WebSite 的 instance 和施事体是施事体的 instance 和 WebListing 是 WebListing 的 instance 和时点是时点的 instance 和那个施事体 sells 那个 WebListing 和那个 WebListing 不是那个群体的 member 和对所有物理和另一个物理如果那个物理是 WebListing 的 instance 和那个物理是样品对于 sale 由那个施事体在那个 WebSite 的 member 和那个时点时段是那个物理出现的 time 时段的一 part 和那个物理不 equal 那个 WebListing，然后那个物理是那个群体的 member 和如果那个另外物理是那个群体的 member，然后那个时点时段是那个物理出现的 time 时段的一 part 和那个另外物理是 WebListing 的 instance ，然后东西对于 sale 由那个施事体非列在那个 WebListing 在那个 WebSite 期间那个时点 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 939-949	如果群体是群体的 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 992-1002	如果群体是群体的 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 896-905	如果群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和 MonoploidChromosomeSet 是那个群体的真正的子集和 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 and 2 和那个群体是 located 在客体和那个客体是细胞核的 instance 和那个客体是另一个客体的 part，然后那个另外客体是 DiploidCell 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7940-7947	如果过程是 LargeGroupProcess 的 instance 和群体是群体的 instance 和物理是那个群体的 member 和那个物理是事件那个过程的 involved 和整数是那个群体的 member 计数，然后那个整数是 greaterThan 10
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7949-7958	如果过程是 LargeGroupProcess 的 instance 和群体是群体的 instance 和物理是那个群体的 member 和那个物理是事件那个过程的 involved ，然后有存在类和那个类C 这样那个类C 是那个类的 instance 和那个物理是事件那个类C 的 involved
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是购买的 instance 和有存在客体这样那个客体是地缘政治区域的 instance 和对所有施事体和过程如果那个施事体是施事体的 instance 和那个过程是购买的 instance 和那个过程是那个群体的 member 和那个施事体是那个过程的 agent，然后那个施事体是 located 在那个客体，然后有存在符号串，实体， and 和另一个实体_PURCHASE_AMOUNT 这样 total 价值在那个符号串所描述的类别是那个另外实体_PURCHASE_AMOUNT 和那个群体的 value equal 那个另外实体_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是出售的 instance 和有存在客体这样那个客体是地缘政治区域的 instance 和对所有施事体和过程如果那个施事体是施事体的 instance 和那个过程是购买的 instance 和那个过程是那个群体的 member 和那个施事体是那个过程的 agent，然后那个施事体是 located 在那个客体，然后有存在符号串，实体， and 和另一个实体_SALE_AMOUNT 这样 total 价值在那个符号串所描述的类别是那个另外实体_SALE_AMOUNT 和那个群体的 value equal 那个另外实体_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	如果实体_COLL 是群体的 instance 和另一个实体_COLL 是群体的 instance 和试验是试验的 instance 和有认知的主事是有认知的主事的 instance 和那个有认知的主事是那个试验的 agent 和那个实体_COLL 是那个另外实体_COLL 的 sample 对于那个试验，然后对所有属性如果那个属性是属性的 instance 和那个实体_COLL 有那个属性的 attribute 和那个有认知的主事对那个属性感兴趣和那个属性不 equal RepresentativeSample，然后那个另外实体_COLL 有那个属性的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	如果实体_COLL 是群体的 instance 和另一个实体_COLL 是群体的 instance 和试验是试验的 instance 和那个实体_COLL 是那个另外实体_COLL 的 sample 对于那个试验，然后那个实体_COLL 是那个另外实体_COLL 的真正的子集
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	如果群体是群体的 instance 和实数是货币测量的 instance 和整数是实数的 instance 和那个实数 equal 那个群体的 value 和那个整数 equal 符号串所描述的类别 instance 的数量，然后那个群体的 average selling price equal 那个实数和那个整数

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.	UXExperimentalTerms.kif 992-1008	如果施事体是施事体的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有 WebListing 如果那个 WebListing 是 WebListing 的 instance 和那个 WebListing 是在那个 WebSite hosted 和那个施事体 sells 那个 WebListing ，然后那个 WebListing 是那个群体的 member 和样品对于 sale 由那个施事体在那个 WebSite equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	如果时距是 AddToCart 的 instance 和实体是客体的 instance 和那个实体是那个时距的 patient 和施事体是那个时距的 agent，然后有存在群体， WebSite,，，时间位置， and 和另一个时距这样那个群体是群体的 instance 和那个 WebSite 是 WebSite 的 instance 和那个另外时距是时距的 instance 和使用者那个施事体在那个 WebSite 有 cart 那个群体和那个另外时距的开始 equal 那个时距的结束和那个实体是那个群体的 member 在那个时间位置 holdsDuring
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.	Food.kif 1012-1026	如果过程是 Grinding 的 instance 和实体是那个过程的 patient 和那个实体是躯体性物体的 instance，然后有存在另一个实体这样那个另外实体是那个过程的 result 和那个另外实体是群体的 instance 和对所有第三实体如果那个第三实体是那个另外实体的 member，然后那个第三实体是那个实体的 part 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	如果时距是时距的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有施事体如果那个施事体是那个群体的 member，然后有存在另一个时距这样那个施事体是施事体的 instance 和那个另外时距是购买的 instance 和那个施事体是那个另外时距的 agent 和那个 WebSite 是导致那个另外时距的 instrument 和那个另外时距在那个时距时段内发生和不存在那个时距_BEFORE 这样那个时距_BEFORE 是时距的 instance 和那个时距_BEFORE 比那个时距发生的earlier 和有存在那个另外时距_BEFORE 这样那个另外时距_BEFORE 是购买的 instance 和那个施事体是那个另外时距_BEFORE 的 agent 和那个 WebSite 是导致那个另外时距_BEFORE 的 instrument 和那个另外时距_BEFORE 在那个时距时段内发生在那个时距_BEFORE holdsDuring 和 new buyers 在那个 WebSite 其间那个时距 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	如果时距是时距的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有物理如果那个物理是人类的 instance 和不存在那个时距_BEFORE 这样那个时距_BEFORE 是时距的 instance 和那个时距_BEFORE 比那个时距发生的earlier 和那个物理是那个 WebSite 的 registered user 在那个时距_BEFORE holdsDuring 和有存在那个时距_DURING 这样那个时距_DURING 是时距的 instance 和那个时距_DURING 在那个时距时段内发生和那个物理是那个 WebSite 的 registered user 在那个时距 holdsDuring，然后那个物理是那个群体的 member 和那个群体 equal new registrations 在那个 WebSite 期间那个时距
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	如果时距是时距的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有施事体如果那个施事体是那个群体的 member，然后有存在另一个时距这样那个施事体是施事体的 instance 和那个另外时距是出售的 instance 和那个施事体是那个另外时距的 agent 和那个 WebSite 是导致那个另外时距的 instrument 和那个另外时距在那个时距时段内发生和不存在那个时距_BEFORE 这样那个时距_BEFORE 是时距的 instance 和那个时距_BEFORE 比那个时距发生的earlier 和有存在那个另外时距_BEFORE 这样那个另外时距_BEFORE 是出售的 instance 和那个施事体是那个另外时距_BEFORE 的 agent 和那个 WebSite 是导致那个另外时距_BEFORE 的 instrument 和那个另外时距_BEFORE 在那个时距时段内发生在那个时距_BEFORE holdsDuring 和 new sellers 在那个 WebSite 期间那个时距 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	如果过程是过程的 instance 和试验是试验的 instance 和另一个过程是施事体的 instance 和施事体经历了那个另外过程和那个过程在那个试验的 process ，然后有存在实体_GROUP 这样那个实体_GROUP 是群体的 instance 和那个另外过程是那个实体_GROUP 的 member 和那个实体_GROUP 是在那个试验的 control group
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	如果过程是过程的 instance 和试验是试验的 instance 和另一个过程是施事体的 instance 和施事体经历了那个另外过程和那个过程在那个试验的 process ，然后有存在实体_GROUP 这样那个实体_GROUP 是群体的 instance 和那个另外过程是那个实体_GROUP 的 member 和那个实体_GROUP 是 treatment group 在那个试验
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	如果群体是群体的 instance 和躯体性物体是 HypertextLink 的 instance 和对所有物理那个物理是另一个群体的 member 和那个物理是 AccessingWebPage 的 instance 和那个另外群体是那个躯体性物体的 component，然后有存在第三群体这样那个第三群体是群体的 instance 和对所有过程如果那个过程是 RequestingHyperlink 的 instance 和那个躯体性物体是那个过程的 patient，然后那个过程是那个第三群体的 member 和点击通过那个躯体性物体的 rate 在那个群体 equal 那个第三群体 instance 的数量和那个群体 instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1621	如果时距是 WatchItem 的 instance 和实体是客体的 instance 和那个实体是那个时距的 patient 和施事体是那个时距的 agent，然后有存在群体， WebSite,，，时间位置， and 和另一个时距这样那个群体是群体的 instance 和那个 WebSite 是 WebSite 的 instance 和那个另外时距是时距的 instance 和使用者那个施事体在那个 WebSite 是 watching 那个群体和那个另外时距的开始 equal 那个时距的结束和那个实体是那个群体的 member 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4627-4636	如果群体和另一个群体是 mutually exclusive 和物理是那个群体的 member 和那个物理是自身连接物体的 instance，然后有存在第三群体这样那个第三群体是群体的 instance 和那个物理是那个第三群体的 member 和那个第三群体是那个另外群体的 member
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4620-4625	如果群体和另一个群体是 mutually exclusive 和物理是那个另外群体的 member 和那个物理是自身连接物体的 instance，然后那个物理是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30956-30971	如果 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 30898-30908	如果 shortage 有认知的主事, 有点客体, 货币测量, 时距 and 数量和那个数量是整数的 instance，然后那个有认知的主事 desires 有存在实体这样那个实体是群体的 instance 和有点客体是那个实体的 member 类别和那个数量是那个实体的 member 计数和那个有认知的主事 possesses 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30923-30938	如果 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 19430-19432	如果线形成是客体的 attribute，然后那个客体是群体的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 7773-7782	如果花店是客体的 attribute，然后那个客体的目的是有存在实体和另一个实体这样那个另外实体是设计的 instance 和那个实体是群体的 instance 和花是那个实体的 member 类别和那个实体是那个另外实体的 patient 和那个客体是那个另外实体的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10386-10398	如果 breathingRate 肺, 时距 and 整数，然后有存在群体和过程这样那个群体是群体的 instance 和 Breath 是那个群体的 member 类别和那个整数是那个群体的 member 计数和如果那个过程是那个群体的 member，然后那个肺是那个过程的 patient 和那个过程出现的 time 在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3117-3133	如果 coilCount WireCoil and 整数，然后有存在群体这样那个群体是群体的 instance 和那个整数是那个群体的 member 计数和对所有客体如果那个客体是那个群体的 member，然后封闭的二维图是那个客体的 attribute 和那个客体是那个 WireCoil 的 part 和不存在那个客体2 这样那个客体2 和那个客体重叠和那个客体2 是那个群体的 member
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4531-4538	如果 engineCylinders 发动机 and 非负整数，然后有存在群体和那个发动机C 这样那个群体是群体的 instance 和那个群体对于那个非负整数的 member 类别计数 EngineCylinder 和那个发动机C 是那个群体的 member 和那个发动机C 是那个发动机的 part
No TPTP formula. May not be expressible in strict first order.	Media.kif 3203-3205	如果符号串是在语言的 title 对于类的例子，然后那个类是群体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10345-10357	如果 heartRate 心, 时距 and 整数，然后有存在群体和过程这样那个群体是群体的 instance 和 HeartBeat 是那个群体的 member 类别和那个整数是那个群体的 member 计数和如果那个过程是那个群体的 member，然后那个心是那个过程的 patient 和那个过程出现的 time 在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25968-25975	如果躯体性物体是 OutletAdapter 的 instance，然后有存在群体这样那个群体是群体的 instance 和洞是那个群体的 member 类别和那个群体是那个躯体性物体的 part 和金属是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1125-1138	如果客体是 BowlingBall 的 instance，然后有存在群体这样那个群体是群体的 instance 和洞是那个群体的 member 类别和 3 是那个群体的 member 计数和那个群体是 located 在那个客体和那个群体的目的是有存在实体和另一个实体这样那个另外实体是那个群体的 member 和那个实体是手指的 instance 和那个实体 fills 了那个另外实体的一部分

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 5508-5508

势函数的 1 数量是结合集或类和群体的 instance

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: