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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FrontFn

Sigma KEE - FrontFn
FrontFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1560-1564
No TPTP formula. May not be expressible in strict first order. Merge.kif 881-889
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 132-137
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 160-167
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 152-159
No TPTP formula. May not be expressible in strict first order. Merge.kif 878-878 The number 1 argument of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 876-876 Front is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 875-875 Front is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 877-877 Front is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 879-879 The range of front 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 259-259
No TPTP formula. May not be expressible in strict first order. english_format.kif 264-264
No TPTP formula. May not be expressible in strict first order. french_format.kif 148-148
No TPTP formula. May not be expressible in strict first order. relations-it.txt 114-114
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1976-1976
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 100-100
No TPTP formula. May not be expressible in strict first order. relations-de.txt 333-333
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 154-154
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 167-167
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 154-154
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 238-238
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 260-260
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25076-25076
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25075-25075
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25074-25074
No TPTP formula. May not be expressible in strict first order. terms-de.txt 106-106
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 239-239

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12910-12916

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


No TPTP formula. May not be expressible in strict first order. Music.kif 316-322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12848-12854
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12833-12839
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3078-3083
No TPTP formula. May not be expressible in strict first order. Merge.kif 891-893
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3458-3463


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