Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Collection

Sigma KEE - Collection
Collection
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1262-1262 不相交的 Collection and SelfConnectedObject
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 子類 Collection and Object

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 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4168-4168 範圍 QPViewsFn and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4233-4233 範圍 QualifiedTreatmentsFn and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4200-4200 範圍 QualifyingEventsFn and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3035-3035 範圍 QualifyingPurchasesFn and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 985-985 範圍 SellersItemsFn and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1024-1024 範圍 SellersOtherItemsFn and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3368-3368 範圍 SiteWideNewBuyersFn and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3420-3420 範圍 SiteWideNewRegistrationsFn and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3467-3467 範圍 SiteWideNewSellersFn and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4276-4276 範圍 TreatedUsersFn and Collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5842-5842 子類 群島 and Collection
No TPTP formula. May not be expressible in strict first order. Food.kif 2507-2507 子類 一盒巧克力 and Collection
No TPTP formula. May not be expressible in strict first order. Dining.kif 255-255 子類 Buffet and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5302-5302 子類 服裝套裝 and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7619-7619 子類 通訊系統 and Collection
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3317-3317 子類 ComputerSystem and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22323-22323 子類 護航 and Collection
No TPTP formula. May not be expressible in strict first order. Music.kif 60-60 子類 Discography and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25452-25452 子類 FireSprinklerSystem and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3512-3512 子類 Fleet and Collection
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1057-1057 子類 高爾基體 and Collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 16223-16223 子類 Group and Collection
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 859-859 子類 HomologousChromosomeSet and Collection
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1718-1718 子類 HotelMiniBar and Collection

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 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3270-3270 ASPFn, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3193-3193 AuctionGMBFn, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2912-2912 BidCountFn, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2878-2878 BoughtItemsFn, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3327-3327 ClickThroughRateFn, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2841-2841 ConversionRateFn, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2947-2947 GMBFn, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2990-2990 GMVFn, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3658-3658 SCRFn, 1 and Collection
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 824-824 chromosomeSetCount, 2 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3841-3841 controlGroup, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4034-4034 experimentalTreatmentCollection, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3519-3519 firstTimeBuyers, 3 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3567-3567 firstTimeSellers, 3 and Collection
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1003-1003 艦隊載重噸位, 1 and Collection
No TPTP formula. May not be expressible in strict first order. Transportation.kif 985-985 船隊總註冊噸位, 1 and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22718-22718 庫存, 2 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4609-4609 meceCollection, 1 and Collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4611-4611 meceCollection, 2 and Collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 1280-1280 會員, 2 and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22700-22700 時間上的會員, 2 and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22634-22634 會員數, 1 and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22649-22649 會員類型, 1 and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22663-22663 會員類型計數, 1 and Collection

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
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 794-803
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3202-3215
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3239-3259
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1004-1023
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 974-984
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 951-966
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 921-931
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2887-2903
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2845-2870
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2922-2940
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1033-1060
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 939-949
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 992-1002
No TPTP formula. May not be expressible in strict first order. Economy.kif 3970-3985
No TPTP formula. May not be expressible in strict first order. Economy.kif 3911-3926
No TPTP formula. May not be expressible in strict first order. Economy.kif 3879-3894
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 896-905
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7940-7947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7949-7958
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2956-2983
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2999-3026
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 501-517
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 483-489
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3282-3302

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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1326-1342
No TPTP formula. May not be expressible in strict first order. Geography.kif 7142-7162
No TPTP formula. May not be expressible in strict first order. Food.kif 1012-1026
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3376-3408
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3428-3455
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3475-3507
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3851-3862
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3968-3979
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3333-3356
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1605-1621
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4627-4636
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4620-4625
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30956-30971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30898-30908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30923-30938
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19430-19432
No TPTP formula. May not be expressible in strict first order. naics.kif 7773-7782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10386-10398
No TPTP formula. May not be expressible in strict first order. Cars.kif 3117-3133
No TPTP formula. May not be expressible in strict first order. Cars.kif 4531-4538
No TPTP formula. May not be expressible in strict first order. Media.kif 3203-3205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10345-10357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25968-25975
No TPTP formula. May not be expressible in strict first order. Sports.kif 1125-1138

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 and 聯盟 SetOrClass and Collection


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

Show without tree


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