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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SecondFn

 Sigma KEE - SecondFn
SecondFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2775-2780
No TPTP formula. May not be expressible in strict first order. Merge.kif 8692-8699
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1505-1510
No TPTP formula. May not be expressible in strict first order. Merge.kif 8688-8688 秒函数 的 1 数量 是 正整数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8689-8689 秒函数 的 2 数量 是 分钟 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 8686-8686 秒函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8687-8687 秒函数 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8685-8685 秒函数 是 时间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8690-8690 秒函数 的所得值 是 秒钟 的 subclass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 475-475
No TPTP formula. May not be expressible in strict first order. english_format.kif 481-481
No TPTP formula. May not be expressible in strict first order. french_format.kif 274-274
No TPTP formula. May not be expressible in strict first order. relations-it.txt 259-259
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2064-2064
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 226-226
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 280-280
No TPTP formula. May not be expressible in strict first order. relations-de.txt 618-618
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 296-296
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 295-295
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 301-301
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 451-451
No TPTP formula. May not be expressible in strict first order. Merge.kif 9384-9384 秒钟 和 秒函数 是 内部相关
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 476-476
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51813-51813
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51812-51812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51811-51811

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8705-8710
No TPTP formula. May not be expressible in strict first order. Merge.kif 8701-8703

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


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


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