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 The number 2 argument of edition is an instance of positive integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 15508-15508 The number 1 argument of edition is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15506-15506 Edition is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 15507-15507 Edition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15510-15510 The values returned by edition are subclasses of content bearing object

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