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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SeriesVolumeFn

 Sigma KEE - SeriesVolumeFn
SeriesVolumeFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14620-14622
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14618-14618 系列编号函数 的 2 数量 是 正整数 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14617-14617 系列编号函数 的 1 数量 是 系列 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14615-14615 系列编号函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14616-14616 系列编号函数 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14619-14619 系列编号函数 的所得值 是 文本 的 subclass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 561-561
No TPTP formula. May not be expressible in strict first order. english_format.kif 566-566
No TPTP formula. May not be expressible in strict first order. french_format.kif 330-330
No TPTP formula. May not be expressible in strict first order. relations-it.txt 260-260
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2094-2094
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 282-282
No TPTP formula. May not be expressible in strict first order. relations-de.txt 734-734
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 297-297
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 351-351
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 365-365
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 452-452
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52191-52191
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 562-562
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52190-52190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52189-52189

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14606-14613
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14624-14638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14640-14642


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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