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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SecondFn
SecondFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2775-2780
No TPTP formula. May not be expressible in strict first order. Merge.kif 8670-8677
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1505-1510
No TPTP formula. May not be expressible in strict first order. Merge.kif 8666-8666 The number 1 argument of second is an instance of positive integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 8667-8667 The number 2 argument of second is a subclass of minute
No TPTP formula. May not be expressible in strict first order. Merge.kif 8664-8664 Second is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8665-8665 Second is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8663-8663 Second is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8668-8668 The values returned by second are subclasses of second

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 475-475
No TPTP formula. May not be expressible in strict first order. english_format.kif 481-481
No TPTP formula. May not be expressible in strict first order. french_format.kif 274-274
No TPTP formula. May not be expressible in strict first order. relations-it.txt 259-259
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2064-2064
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 226-226
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 280-280
No TPTP formula. May not be expressible in strict first order. relations-de.txt 618-618
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 296-296
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 295-295
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 301-301
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 451-451
No TPTP formula. May not be expressible in strict first order. Merge.kif 9362-9362 Second is internally related to second
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 476-476
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51813-51813
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51812-51812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51811-51811

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8683-8688
No TPTP formula. May not be expressible in strict first order. Merge.kif 8679-8681

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2143-2143 Unix epoch is equal to the second 0


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 3.0 is open source software produced by Articulate Software and its partners