| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2460-2464 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2458-2458 | 子類 會員身份 and RelationalAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2490-2490 | 例 諮詢委員會 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2470-2470 | 例 協會成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2494-2494 | 例 合夥人 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2488-2488 | 例 董事會成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2483-2483 | 例 第III類成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2482-2482 | 例 categoryII成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2481-2481 | 例 categoryI成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2489-2489 | 例 專員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2473-2473 | 例 合作國家 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2484-2484 | 例 通訊員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2471-2471 | 例 對話夥伴 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2486-2486 | 例 執行委員會成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2487-2487 | 例 執行委員會成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2466-2466 | 例 正式會員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2472-2472 | 例 客人身份 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2493-2493 | 例 國際或非地區成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2475-2475 | 例 會員申請人 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2476-2476 | 例 會員保留中 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2492-2492 | 例 非永久性地位 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2468-2468 | 例 非地區成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2477-2477 | 例 非國家參與者 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2467-2467 | 例 觀察員地位 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2480-2480 | 例 partII成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2479-2479 | 例 partI成員 and 會員身份 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2474-2474 | 例 合作夥伴 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