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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subProposition
subProposition

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2203-2205
No TPTP formula. May not be expressible in strict first order. Merge.kif 4641-4644
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 867-869
No TPTP formula. May not be expressible in strict first order. Merge.kif 4638-4638 O argumento numero 1 de subProposition e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order. Merge.kif 4639-4639 O argumento numero 2 de subProposition e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order. Merge.kif 4634-4634 subProposition e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 4636-4636 subProposition e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 4637-4637 subProposition e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 4635-4635 subProposition e' uma instancia de Relacao Transitiva

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 187-187
No TPTP formula. May not be expressible in strict first order. english_format.kif 188-188
No TPTP formula. May not be expressible in strict first order. french_format.kif 113-113
No TPTP formula. May not be expressible in strict first order. relations-it.txt 278-278
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1942-1942
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 65-65
No TPTP formula. May not be expressible in strict first order. relations-de.txt 238-238
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 315-315
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 132-132
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 118-118
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 470-470
No TPTP formula. May not be expressible in strict first order. Merge.kif 4655-4655 subPlan e' uma sub-relacao de subProposition
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 188-188
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55784-55784
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55783-55783
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55782-55782
No TPTP formula. May not be expressible in strict first order. terms-de.txt 75-75

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1096-1116
No TPTP formula. May not be expressible in strict first order. Government.kif 738-747
No TPTP formula. May not be expressible in strict first order. Government.kif 839-843
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21174-21204
No TPTP formula. May not be expressible in strict first order. Government.kif 1140-1153
No TPTP formula. May not be expressible in strict first order. Government.kif 1175-1195
No TPTP formula. May not be expressible in strict first order. Government.kif 1231-1237
No TPTP formula. May not be expressible in strict first order. Government.kif 1214-1220
No TPTP formula. May not be expressible in strict first order. Government.kif 1222-1229
No TPTP formula. May not be expressible in strict first order. Government.kif 1084-1094
No TPTP formula. May not be expressible in strict first order. Merge.kif 4646-4653
No TPTP formula. May not be expressible in strict first order. Government.kif 1155-1173
No TPTP formula. May not be expressible in strict first order. Government.kif 1070-1082

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 702-717
No TPTP formula. May not be expressible in strict first order. Government.kif 993-1002
No TPTP formula. May not be expressible in strict first order. Government.kif 921-930
No TPTP formula. May not be expressible in strict first order. Merge.kif 16955-16961
No TPTP formula. May not be expressible in strict first order. Government.kif 881-885
No TPTP formula. May not be expressible in strict first order. Government.kif 870-877
No TPTP formula. May not be expressible in strict first order. Music.kif 920-922
No TPTP formula. May not be expressible in strict first order. Music.kif 908-910
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1929-1934
No TPTP formula. May not be expressible in strict first order. Government.kif 617-625
No TPTP formula. May not be expressible in strict first order. Government.kif 627-635
No TPTP formula. May not be expressible in strict first order. Government.kif 899-904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13829-13835
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2824-2830
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14169-14174


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