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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MinuteFn
MinuteFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2769-2774
No TPTP formula. May not be expressible in strict first order. Merge.kif 8643-8650
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1499-1504
No TPTP formula. May not be expressible in strict first order. Merge.kif 8639-8639 分函数 的 1 数量 是 非负整数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8640-8640 分函数 的 2 数量 是 小时 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 8637-8637 分函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8638-8638 分函数 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8636-8636 分函数 是 时间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8641-8641 分函数 的所得值 是 分钟 的 subclass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 473-473
No TPTP formula. May not be expressible in strict first order. english_format.kif 479-479
No TPTP formula. May not be expressible in strict first order. french_format.kif 273-273
No TPTP formula. May not be expressible in strict first order. relations-it.txt 191-191
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2063-2063
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 225-225
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 279-279
No TPTP formula. May not be expressible in strict first order. relations-de.txt 616-616
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 229-229
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 294-294
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 300-300
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 368-368
No TPTP formula. May not be expressible in strict first order. Merge.kif 9351-9351 分钟 和 分函数 是 内部相关
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37955-37955
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 474-474
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37954-37954
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37953-37953
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 369-369

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8656-8661
No TPTP formula. May not be expressible in strict first order. Merge.kif 8652-8654

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2143-2143 Unix时代 equal 0 second


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