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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SecondFn

 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 8706-8713
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 8702-8702 Le nombre 1 argument de SecondFn est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order. Merge.kif 8703-8703 Le nombre 2 argument de SecondFn est une sous-classe de minute
No TPTP formula. May not be expressible in strict first order. Merge.kif 8700-8700 SecondFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 8701-8701 SecondFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 8699-8699 SecondFn est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8704-8704 Les valeurs retourn�es par SecondFn sont des sous-classes de seconde

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 9398-9398 Seconde est reli� � l'int�rieur de SUMO � SecondFn
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 51815-51815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51814-51814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51813-51813

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8719-8724
No TPTP formula. May not be expressible in strict first order. Merge.kif 8715-8717

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2143-2143 UnixEpoch est seconde 0


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