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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EditionFn

 Sigma KEE - EditionFn
EditionFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3567-3568
No TPTP formula. May not be expressible in strict first order. Merge.kif 15557-15559
No TPTP formula. May not be expressible in strict first order. Merge.kif 15555-15555 Le nombre 2 argument de EditionFn est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order. Merge.kif 15554-15554 Le nombre 1 argument de EditionFn est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order. Merge.kif 15552-15552 EditionFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 15553-15553 EditionFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 15556-15556 Les valeurs retourn�es par EditionFn sont des sous-classes de objet exprimant un sens

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 559-559
No TPTP formula. May not be expressible in strict first order. english_format.kif 564-564
No TPTP formula. May not be expressible in strict first order. french_format.kif 329-329
No TPTP formula. May not be expressible in strict first order. relations-it.txt 88-88
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2093-2093
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 281-281
No TPTP formula. May not be expressible in strict first order. relations-de.txt 731-731
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 128-128
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 350-350
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 364-364
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 191-191
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21246-21246
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 560-560
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21245-21245
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21244-21244
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 192-192

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15561-15578
No TPTP formula. May not be expressible in strict first order. Merge.kif 15580-15582


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