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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Abstract
Abstract(抽象体)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1670-1670 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1705-1707
No TPTP formula. May not be expressible in strict first order. Merge.kif 1672-1676
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 306-310
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9869-9869
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10352-10352
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10353-10353
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10354-10354
No TPTP formula. May not be expressible in strict first order. Merge.kif 1669-1669 抽象体实体subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1700-1700 属性抽象体subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2875-2875 串列抽象体subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1942-1942 流程任务抽象体subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3555-3555 命题抽象体subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1694-1694 数量抽象体subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2159-2159 关系抽象体subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2128-2128 集或类抽象体subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 853-853
No TPTP formula. May not be expressible in strict first order. english_format.kif 908-908
No TPTP formula. May not be expressible in strict first order. french_format.kif 529-529
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 60-60
No TPTP formula. May not be expressible in strict first order. terms-it.txt 63-63
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2214-2214
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 481-481
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 65-65
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 96-96
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 550-550
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 64-64

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6111-6111 abstractCounterpart 的 1 数量 是 抽象体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22795-22795 抽象的部分 的 1 数量 是 抽象体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22796-22796 抽象的部分 的 2 数量 是 抽象体instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1661-1661 成就 的 3 数量 是 抽象体instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1647-1647 基准 的 1 数量 是 抽象体instance
No TPTP formula. May not be expressible in strict first order. Catalog.kif 83-83 offers 的 2 数量 是 抽象体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 816-816 实体 详尽无遗地 partition物理抽象体


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