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 15511-15513
No TPTP formula. May not be expressible in strict first order. Merge.kif 15509-15509 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 15508-15508 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 15506-15506 EditionFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 15507-15507 EditionFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 15510-15510 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 15515-15532
No TPTP formula. May not be expressible in strict first order. Merge.kif 15534-15536


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