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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BackFn
BackFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 940-944
No TPTP formula. May not be expressible in strict first order. Merge.kif 932-939
No TPTP formula. May not be expressible in strict first order. Merge.kif 930-930 The number 1 argument of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 928-928 Back is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 929-929 Back is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 926-926 Back is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 925-925 Back is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 927-927 Back is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 931-931 The range of back is an instance of self connected object

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 255-255
No TPTP formula. May not be expressible in strict first order. english_format.kif 156-156
No TPTP formula. May not be expressible in strict first order. french_format.kif 146-146
No TPTP formula. May not be expressible in strict first order. relations-it.txt 31-31
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 98-98
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 94-94
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 65-65
No TPTP formula. May not be expressible in strict first order. relations-de.txt 328-328
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 75-75
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 78-78
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 256-256 "挪后函数" is the printable form of back in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2020-2020 "back" is the printable form of back in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 544-544 "«خَلْفَ»" is the printable form of back in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 79-79 "tungkulin ng likod" is the printable form of back in tg

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3626-3631
No TPTP formula. May not be expressible in strict first order. Merge.kif 946-948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12634-12639


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners