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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - true
true

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


(format FrenchLanguage true "%1 est %n %2") french_format.kif 118-118
(format ItalianLanguage true "%1 è %n %2") relations-it.txt 305-305
(format PortugueseLanguage true "%1 e'verdade %n %2") portuguese_format.kif 70-70
(format cz true "%1 is %n %2") relations-cz.txt 75-75
(format de true "%1 ist %2 %n{nicht}") relations-de.txt 253-253
(format hi true "%1 %2 %n hai") relations-hindi.txt 341-341
(format ro true "%1 %n{nu} is%t{este} %2") relations-ro.kif 137-137
(format sv true "%1 är %n{inte} %2") relations-sv.txt 123-123
(format tg true "%1 %n ay %2") relations-tg.txt 497-497
(termFormat de true "wahr") terms-de.txt 80-80


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