| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3766-3768 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3765-3765 | 非语言口语 是 口语人类语言 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3771-3771 | Aariya语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3777-3777 | Abishira语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3786-3786 | Agavotaguerra语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3794-3794 | Aguano语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3806-3806 | Amerax语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3814-3814 | Amikoana语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3820-3820 | Andh语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3830-3830 | Beothuk语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3838-3838 | Betaf语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3845-3845 | Bete语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3855-3855 | Bhatola语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3861-3861 | 塞语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3868-3868 | 卡瓜语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3874-3874 | 卡拉瓦拉语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3888-3888 | Candoshi shapra 語言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3900-3900 | Canichana语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3908-3908 | 卡拉巴约语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3917-3917 | 中心语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3925-3925 | Chak语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3936-3936 | Chipiajes语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3942-3942 | Cholon语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3950-3950 | 柯西玛语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3956-3956 | Doso语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3964-3964 | 盖尔语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3975-3975 | 海地vodoun文化语言 是 非语言口语 的 instance |
| 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