member - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1633-1634
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1284-1286
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 216-217
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 256-258
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1279-1279	域會員, 1 and Physical
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.	Merge.kif 1276-1276	例會員 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1277-1277	例會員 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1278-1278	例會員 and IntransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1282-1282	相關的內部概念會員 and 元件
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1281-1281	相關的內部概念會員 and 例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 153-153
No TPTP formula. May not be expressible in strict first order.	english_format.kif 154-154
No TPTP formula. May not be expressible in strict first order.	french_format.kif 97-97
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 182-182
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1925-1925
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 49-49
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 69-69
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 185-185
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 220-220
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 116-116
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 96-96
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 358-358
No TPTP formula. May not be expressible in strict first order.	Government.kif 2426-2426	子關係在組織中關聯 and 會員
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7554-7554	子關係小組成員 and 會員
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16791-16791	子關係 student and 會員
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16863-16863	子關係 teacher and 會員
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36989-36989
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 154-154
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36988-36988
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36987-36987
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 359-359

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 3603-3605	會員 Physical and 國際紅十字和紅新月運動會員 Physical and 國際紅十字會和紅新月會聯合會
No TPTP formula. May not be expressible in strict first order.	Economy.kif 506-510	attribute AutonomousAgent and 高收入國家會員 AutonomousAgent and 石油輸出國組織發達國家是 AutonomousAgent 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2579-2583	Organization 是 Business 的 business 單位會員 Physical and Organization 例 Physical and Human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2659-2663	CrossFunctionalTeam works 在 Entity 會員 CognitiveAgent and CrossFunctionalTeam 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3231-3235	等於 CurrencyMeasure and Collection 的 average price 會員 Physical and Collection 例 Physical and Buying
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3276-3280	等於 CurrencyMeasure and Collection 的 average selling price 會員 Physical and Collection 例 Physical and Selling
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4043-4047	Collection 是在試驗的 processes 會員 Process and Collection Process 在試驗的 process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3534-3543	Collection 是在 WebSite 的 first time buyers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 期間何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3528-3532	Collection 是在 WebSite 的 first time buyers 在其間 TimeInterval 會員 Physical and Collection 例 Physical and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3545-3555	Collection 是在 WebSite 的 first time buyers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 早期何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3582-3591	Collection 是在 WebSite 的 first time sellers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Selling agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 期間何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3576-3580	Collection 是在 WebSite 的 first time sellers 在其間 TimeInterval 會員 Physical and Collection 例 Physical and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3593-3603	Collection 是在 WebSite 的 first time sellers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Selling agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 早期何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Media.kif 3207-3212	SymbolicString 是在 Language 的 title 對於 Class 的例子例 Collection and Class 會員 Physical and Collection 例 Physical and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7562-7569	持有期間 TimePosition and 會員 Entity and Entity 例 Entity and Human 例 Entity and 一群人持有期間 TimePosition and Entity 是 Entity 的 member
No TPTP formula. May not be expressible in strict first order.	Government.kif 1767-1772	例 Object and AutonomousAgent 例 Organization and Organization 會員 Object and Organization attribute Object and Organization 的 member
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 972-976	例 GeopoliticalArea and GeopoliticalArea 會員 Physical and GeopoliticalArea 的 merchant 海洋例 Physical and 商船海運
No TPTP formula. May not be expressible in strict first order.	Government.kif 3223-3227	例 GeopoliticalArea and Nation 會員 GeopoliticalArea and 歐洲貨幣聯盟歐元是 GeopoliticalArea 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23494-23504	例被捕 and 被捕被捕被捕 and AutonomousAgent 例 AutonomousAgent and 一群人會員 AutonomousAgent and AutonomousAgent 被捕例被捕 and 被捕被捕被捕 and AutonomousAgent 子過程被捕 and 被捕
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Auctioning SymbolicString entity_PURCHASE_AMOUNT total 價值在卡帕 SymbolicString and SymbolicString 是 Physical 的 transaction 總額是 entity_PURCHASE_AMOUNT 等於 Collection 的 total purchase price and entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	例 Collection and Collection 例 RealNumber and CurrencyMeasure 例 Integer and RealNumber 等於 RealNumber and Collection 的 value 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Object entity 會員 entity and Collection 患者 entity and SymbolicString 等於 Collection 的 average price and 部 RealNumber and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22348-22356	例 Collection and 護航會員 Physical and Collection Process 例 Process and Driving 暫時重疊何時 Process and 何時 Collection 患者 Process and Physical
No TPTP formula. May not be expressible in strict first order.	Military.kif 108-122	例 Collection and 護航會員 AutonomousAgent and Collection 會員 AutonomousAgent and Collection 等於 AutonomousAgent and AutonomousAgent Process Process and Entity 例 Process and Transportation 例 Process and Transportation agent Process and AutonomousAgent agent Process and AutonomousAgent 目的地 Process and Entity 目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	例 Collection and WebListingCategory 例 Physical and WebListing 例 Physical and WebListing 例 Process and Object 例 Process and Object 會員 Physical and Collection 會員 Physical and Collection 患者 Process and Physical 患者 Process and Physical Class 例 Class and Class 例 Process and Class 例 Process and Class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 139-143	例 Collection and WebListingCategory 會員 Physical and Collection 例 Physical and WebListing

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.	People.kif 676-678	attribute Object and 信仰團體的 member 會員 Object and 信仰團體
No TPTP formula. May not be expressible in strict first order.	People.kif 702-704	attribute Object and 不可知會員 Object and 不可知論
No TPTP formula. May not be expressible in strict first order.	People.kif 1347-1349	attribute Object and ahmadiyya穆斯林會員 Object and ahmadiyya教派
No TPTP formula. May not be expressible in strict first order.	People.kif 1225-1227	attribute Object and 英國國教會員 Object and 英國國教
No TPTP formula. May not be expressible in strict first order.	People.kif 1233-1235	attribute Object and 英國國教會員 Object and 英格蘭教堂
No TPTP formula. May not be expressible in strict first order.	People.kif 720-722	attribute Object and 無神論者會員 Object and 無神論
No TPTP formula. May not be expressible in strict first order.	People.kif 757-759	attribute Object and 巴哈會員 Object and 巴哈主義
No TPTP formula. May not be expressible in strict first order.	People.kif 769-771	attribute Object and 佛教徒會員 Object and 佛教
No TPTP formula. May not be expressible in strict first order.	People.kif 1306-1308	attribute Object and 儒會員 Object and 儒
No TPTP formula. May not be expressible in strict first order.	People.kif 1361-1363	attribute Object and 德魯茲穆斯林會員 Object and 德魯茲教派
No TPTP formula. May not be expressible in strict first order.	People.kif 1247-1249	attribute Object and 東正教基督教會員 Object and 東正教基督教
No TPTP formula. May not be expressible in strict first order.	People.kif 1318-1320	attribute Object and 印度教會員 Object and 印度教
No TPTP formula. May not be expressible in strict first order.	People.kif 1411-1413	attribute Object and 耆那教會員 Object and 耆那教
No TPTP formula. May not be expressible in strict first order.	People.kif 1330-1332	attribute Object and 穆斯林會員 Object and 伊斯蘭教
No TPTP formula. May not be expressible in strict first order.	People.kif 1457-1459	attribute Object and neopaganismist 會員 Object and neopaganism
No TPTP formula. May not be expressible in strict first order.	People.kif 1261-1263	attribute Object and 新教會員 Object and 新教
No TPTP formula. May not be expressible in strict first order.	People.kif 1428-1430	attribute Object and 宗教的猶太人會員 Object and 猶太教
No TPTP formula. May not be expressible in strict first order.	People.kif 1283-1285	attribute Object and 羅馬天主教徒會員 Object and 羅馬天主教會
No TPTP formula. May not be expressible in strict first order.	People.kif 1275-1277	attribute Object and 羅馬天主教徒會員 Object and 羅馬天主教
No TPTP formula. May not be expressible in strict first order.	People.kif 1377-1379	attribute Object and 什葉派穆斯林會員 Object and 什葉派
No TPTP formula. May not be expressible in strict first order.	People.kif 1472-1474	attribute Object and 神道教會員 Object and 神道
No TPTP formula. May not be expressible in strict first order.	People.kif 1487-1489	attribute Object and 錫克教會員 Object and 錫克教
No TPTP formula. May not be expressible in strict first order.	People.kif 1396-1398	attribute Object and 遜尼派穆斯林會員 Object and 遜尼派
No TPTP formula. May not be expressible in strict first order.	People.kif 1502-1504	attribute Object and 道會員 Object and 道教
No TPTP formula. May not be expressible in strict first order.	People.kif 1517-1519	attribute Object and 拜火教會員 Object and 拜火教

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.	Media.kif 1970-1978	TimeInterval 例 TimeInterval and TimeInterval 飾面 TimeInterval and 何時 JesusOfNazareth 啟動 TimeInterval and 何時 TwelveApostles entity 持有期間 TimeInterval and 會員 entity and TwelveApostles 持有期間 TimeInterval and entity 是 JesusOfNazareth 的 friend
No TPTP formula. May not be expressible in strict first order.	Government.kif 3219-3219	會員丹麥 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3220-3220	會員瑞典 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3221-3221	會員英國 and 歐洲貨幣聯盟

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Government.kif 3199-3199	會員奧地利 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Media.kif 2618-2618	會員貝克島 and UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Government.kif 2903-2903	會員比利時 and 比荷盧經濟聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3200-3200	會員比利時 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3201-3201	會員塞浦路斯 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3202-3202	會員愛沙尼亞 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3203-3203	會員芬蘭 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3204-3204	會員法國 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3205-3205	會員德國 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3206-3206	會員希臘 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Media.kif 2619-2619	會員 Howland島 and UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Government.kif 3207-3207	會員愛爾蘭 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3208-3208	會員意大利 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Media.kif 2620-2620	會員賈維斯島 and UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Media.kif 2625-2625	會員約翰斯頓環礁 and UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Media.kif 2621-2621	會員金曼礁 and UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Government.kif 3209-3209	會員拉脫維亞 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3210-3210	會員立陶宛 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 2905-2905	會員盧森堡 and 比荷盧經濟聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3211-3211	會員盧森堡 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3212-3212	會員馬耳他 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	Media.kif 2626-2626	會員中途島嶼 and UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Media.kif 2622-2622	會員納瓦薩島 and UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Government.kif 2904-2904	會員荷蘭 and 比荷盧經濟聯盟
No TPTP formula. May not be expressible in strict first order.	Government.kif 3213-3213	會員荷蘭 and 歐洲貨幣聯盟

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: