appearance as argument number 2

(instance Necessity AlethicAttribute)	Merge.kif 17609-17609	Necessity is an instance of alethic attribute
(instance Possibility AlethicAttribute)	Merge.kif 17605-17605	Possibility is an instance of alethic attribute
(termFormat ChineseLanguage AlethicAttribute "真势属性")	chinese_format.kif 1245-1245	Possibility is an instance of alethic attribute
(termFormat EnglishLanguage AlethicAttribute "alethic attribute")	english_format.kif 1711-1711	Possibility is an instance of alethic attribute
(termFormat FrenchLanguage AlethicAttribute "alethic attribute")	french_format.kif 923-923	Possibility is an instance of alethic attribute
(termFormat Hindi AlethicAttribute "")	terms-hindi.txt 457-457	Possibility is an instance of alethic attribute
(termFormat ItalianLanguage AlethicAttribute "AttributoAletico")	terms-it.txt 460-460	Possibility is an instance of alethic attribute
(termFormat JapaneseLanguage AlethicAttribute "真理属性")	japanese_format.kif 2607-2607	Possibility is an instance of alethic attribute
(termFormat PortugueseLanguage AlethicAttribute "Atributo Aletico")	portuguese_format.kif 875-875	Possibility is an instance of alethic attribute
(termFormat cz AlethicAttribute "alethic attribute")	terms-cz.txt 496-496	Possibility is an instance of alethic attribute
(termFormat de AlethicAttribute "alethisches Attribut")	terms-de.txt 755-755	Possibility is an instance of alethic attribute
(termFormat ro AlethicAttribute "atribut alethic")	relations-ro.kif 944-944	Possibility is an instance of alethic attribute
(termFormat tg AlethicAttribute "")	terms-tg.txt 461-461	Possibility is an instance of alethic attribute

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