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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - member
member

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 数量 是 物理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. Merge.kif 1276-1276 组员非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1277-1277 组员二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1278-1278 组员非传递关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1282-1282 组员元素 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 1281-1281 组员实例 是 内部相关

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 在组织中关联组员subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7554-7554 小组成员组员subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16791-16791 student组员subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16863-16863 teacher组员subrelation
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 物理国际红十字和红新月运动member 若且唯若 那个 物理国际红十字会和红新月会联合会member
No TPTP formula. May not be expressible in strict first order. Economy.kif 506-510
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2579-2583
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2659-2663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3231-3235
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3276-3280
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4043-4047
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3534-3543
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3528-3532
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3545-3555
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3582-3591
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3576-3580
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3593-3603
No TPTP formula. May not be expressible in strict first order. Media.kif 3207-3212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7562-7569
No TPTP formula. May not be expressible in strict first order. Government.kif 1767-1772
No TPTP formula. May not be expressible in strict first order. Transportation.kif 972-976
No TPTP formula. May not be expressible in strict first order. Government.kif 3223-3227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23494-23504
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. Mid-level-ontology.kif 22348-22356
No TPTP formula. May not be expressible in strict first order. Military.kif 108-122
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 145-160
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 139-143

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 信仰团体member 客体attribute 若且唯若 那个 客体那个 信仰团体member
No TPTP formula. May not be expressible in strict first order. People.kif 702-704 不可知 客体attribute 若且唯若 那个 客体不可知论member
No TPTP formula. May not be expressible in strict first order. People.kif 1347-1349 Ahmadiyya穆斯林 客体attribute 若且唯若 那个 客体ahmadiyya教派member
No TPTP formula. May not be expressible in strict first order. People.kif 1225-1227 英国国教 客体attribute 若且唯若 那个 客体英国国教member
No TPTP formula. May not be expressible in strict first order. People.kif 1233-1235 英国国教 客体attribute 若且唯若 那个 客体英格兰教堂member
No TPTP formula. May not be expressible in strict first order. People.kif 720-722 无神论者 客体attribute 若且唯若 那个 客体无神论member
No TPTP formula. May not be expressible in strict first order. People.kif 757-759 巴哈 客体attribute 若且唯若 那个 客体巴哈主义member
No TPTP formula. May not be expressible in strict first order. People.kif 769-771 佛教徒 客体attribute 若且唯若 那个 客体佛教member
No TPTP formula. May not be expressible in strict first order. People.kif 1306-1308 客体attribute 若且唯若 那个 客体member
No TPTP formula. May not be expressible in strict first order. People.kif 1361-1363 德鲁兹穆斯林 客体attribute 若且唯若 那个 客体德鲁兹教派member
No TPTP formula. May not be expressible in strict first order. People.kif 1247-1249 东正教基督教 客体attribute 若且唯若 那个 客体东正教基督教member
No TPTP formula. May not be expressible in strict first order. People.kif 1318-1320 印度教 客体attribute 若且唯若 那个 客体印度教member
No TPTP formula. May not be expressible in strict first order. People.kif 1411-1413 耆那教 客体attribute 若且唯若 那个 客体耆那教member
No TPTP formula. May not be expressible in strict first order. People.kif 1330-1332 穆斯林 客体attribute 若且唯若 那个 客体伊斯兰教member
No TPTP formula. May not be expressible in strict first order. People.kif 1457-1459 Neopaganismist 客体attribute 若且唯若 那个 客体neopaganismmember
No TPTP formula. May not be expressible in strict first order. People.kif 1261-1263 新教 客体attribute 若且唯若 那个 客体新教member
No TPTP formula. May not be expressible in strict first order. People.kif 1428-1430 宗教的犹太人 客体attribute 若且唯若 那个 客体犹太教member
No TPTP formula. May not be expressible in strict first order. People.kif 1283-1285 罗马天主教徒 客体attribute 若且唯若 那个 客体罗马天主教会member
No TPTP formula. May not be expressible in strict first order. People.kif 1275-1277 罗马天主教徒 客体attribute 若且唯若 那个 客体罗马天主教member
No TPTP formula. May not be expressible in strict first order. People.kif 1377-1379 什叶派穆斯林 客体attribute 若且唯若 那个 客体什叶派member
No TPTP formula. May not be expressible in strict first order. People.kif 1472-1474 神道教 客体attribute 若且唯若 那个 客体神道member
No TPTP formula. May not be expressible in strict first order. People.kif 1487-1489 锡克教 客体attribute 若且唯若 那个 客体锡克教member
No TPTP formula. May not be expressible in strict first order. People.kif 1396-1398 逊尼派穆斯林 客体attribute 若且唯若 那个 客体逊尼派member
No TPTP formula. May not be expressible in strict first order. People.kif 1502-1504 客体attribute 若且唯若 那个 客体道教member
No TPTP formula. May not be expressible in strict first order. People.kif 1517-1519 拜火教 客体attribute 若且唯若 那个 客体拜火教member

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 有存在 时距 这样 那个 时距时距instance那个 时距 finishes了才到 JesusOfNazareth 出现 的 time那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 丹麦 不 是 欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3220-3220 瑞典 不 是 欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3221 英国 不 是 欧洲货币联盟member

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3199-3199 奥地利欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Media.kif 2618-2618 贝克岛UnitedStatesMinorOutlyingIslandsmember
No TPTP formula. May not be expressible in strict first order. Government.kif 2903-2903 比利时比荷卢经济联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3200-3200 比利时欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3201-3201 塞浦路斯欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3202-3202 爱沙尼亚欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3203-3203 芬兰欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3204-3204 法国欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3205-3205 德国欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3206-3206 希腊欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Media.kif 2619-2619 Howland岛UnitedStatesMinorOutlyingIslandsmember
No TPTP formula. May not be expressible in strict first order. Government.kif 3207-3207 爱尔兰欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3208-3208 意大利欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Media.kif 2620-2620 贾维斯岛UnitedStatesMinorOutlyingIslandsmember
No TPTP formula. May not be expressible in strict first order. Media.kif 2625-2625 约翰斯顿环礁UnitedStatesMinorOutlyingIslandsmember
No TPTP formula. May not be expressible in strict first order. Media.kif 2621-2621 金曼礁UnitedStatesMinorOutlyingIslandsmember
No TPTP formula. May not be expressible in strict first order. Government.kif 3209-3209 拉脱维亚欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3210-3210 立陶宛欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 2905-2905 卢森堡比荷卢经济联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3211-3211 卢森堡欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3212-3212 马耳他欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Media.kif 2626-2626 中途岛屿UnitedStatesMinorOutlyingIslandsmember
No TPTP formula. May not be expressible in strict first order. Media.kif 2622-2622 纳瓦萨岛UnitedStatesMinorOutlyingIslandsmember
No TPTP formula. May not be expressible in strict first order. Government.kif 2904-2904 荷兰比荷卢经济联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3213-3213 荷兰欧洲货币联盟member

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