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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Function

 Sigma KEE - Function
Function
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1991-1993
No TPTP formula. May not be expressible in strict first order. Merge.kif 3353-3356
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 625-627
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11056-11056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10026-10026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11054-11054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11057-11057
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11059-11059
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11055-11055
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11058-11058
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11053-11053
No TPTP formula. May not be expressible in strict first order. Merge.kif 3351-3351 子類 Function and 可繼承的關係
No TPTP formula. May not be expressible in strict first order. Merge.kif 3350-3350 子類 Function and SingleValuedRelation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 784-784 例 任務 and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4844-4844 例 最大公約數 and Function
No TPTP formula. May not be expressible in strict first order. Geography.kif 405-405 例 緯度 and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4929-4929 例 最不常見的倍數 and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2931-2931 例 名單 and Function
No TPTP formula. May not be expressible in strict first order. Geography.kif 442-442 例 經度 and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3398-3398 子類 BinaryFunction and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3472-3472 子類 ContinuousFunction and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3461-3461 子類 QuaternaryFunction and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3450-3450 子類 TernaryFunction and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3358-3358 子類 UnaryFunction and Function
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 916-916
No TPTP formula. May not be expressible in strict first order. english_format.kif 1039-1039
No TPTP formula. May not be expressible in strict first order. french_format.kif 592-592
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 122-122
No TPTP formula. May not be expressible in strict first order. terms-it.txt 125-125
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2277-2277
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 544-544
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 127-127
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 159-159
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 613-613
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 126-126

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 786-786 域 任務, 1 and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3574-3574 域 關閉, 1 and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 306-306 域 範圍, 1 and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 334-334 域 範圍子類, 1 and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2162-2162 劃分 Relation, Predicate and Function


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