(subclass RegionalLaw Proposition)	Government.kif 825-825	Regional law is a subclass of proposition
(subclass ScientificLaw Proposition)	engineering.kif 1553-1553	Scientific law is a subclass of proposition
(subclass SuffrageLaw Proposition)	Government.kif 861-861	Suffrage law is a subclass of proposition
(subclass TPFDD Proposition)	MilitaryProcesses.kif 1630-1630	TPFDD is a subclass of proposition
(termFormat ChineseLanguage Proposition "命题")	chinese_format.kif 932-932	TPFDD is a subclass of proposition
(termFormat EnglishLanguage Proposition "proposition")	english_format.kif 1071-1071	TPFDD is a subclass of proposition
(termFormat FrenchLanguage Proposition "proposition ")	french_format.kif 608-608	TPFDD is a subclass of proposition
(termFormat Hindi Proposition "prastaava")	terms-hindi.txt 139-139	TPFDD is a subclass of proposition
(termFormat ItalianLanguage Proposition "Proposizione")	terms-it.txt 142-142	TPFDD is a subclass of proposition
(termFormat JapaneseLanguage Proposition "命題")	japanese_format.kif 2293-2293	TPFDD is a subclass of proposition
(termFormat PortugueseLanguage Proposition "Proposicao")	portuguese_format.kif 560-560	TPFDD is a subclass of proposition
(termFormat cb Proposition "tanyag")	terms-cb.txt 144-144	TPFDD is a subclass of proposition
(termFormat cz Proposition "proposition")	terms-cz.txt 176-176	TPFDD is a subclass of proposition
(termFormat de Proposition "Proposition")	terms-de.txt 435-435	TPFDD is a subclass of proposition
(termFormat ro Proposition "propoziþie")	relations-ro.kif 629-629	TPFDD is a subclass of proposition
(termFormat tg Proposition "panukala")	terms-tg.txt 143-143	TPFDD is a subclass of proposition

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