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 4640-4643
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 4637-4637 子命题 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4638-4638 子命题 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4633-4633 子命题二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4635-4635 子命题非自反关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4636-4636 子命题部分值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4634-4634 子命题传递关系instance

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 4654-4654 子计划子命题subrelation
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 55782-55782
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55781-55781
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55780-55780
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 1132-1152
No TPTP formula. May not be expressible in strict first order. Government.kif 774-783
No TPTP formula. May not be expressible in strict first order. Government.kif 875-879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21147-21177
No TPTP formula. May not be expressible in strict first order. Government.kif 1176-1189
No TPTP formula. May not be expressible in strict first order. Government.kif 1211-1231
No TPTP formula. May not be expressible in strict first order. Government.kif 1267-1273
No TPTP formula. May not be expressible in strict first order. Government.kif 1250-1256
No TPTP formula. May not be expressible in strict first order. Government.kif 1258-1265
No TPTP formula. May not be expressible in strict first order. Government.kif 1120-1130
No TPTP formula. May not be expressible in strict first order. Merge.kif 4645-4652
No TPTP formula. May not be expressible in strict first order. Government.kif 1191-1209
No TPTP formula. May not be expressible in strict first order. Government.kif 1106-1118

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


No TPTP formula. May not be expressible in strict first order. Government.kif 738-753
No TPTP formula. May not be expressible in strict first order. Government.kif 1029-1038
No TPTP formula. May not be expressible in strict first order. Government.kif 957-966
No TPTP formula. May not be expressible in strict first order. Merge.kif 16884-16890
No TPTP formula. May not be expressible in strict first order. Government.kif 917-921
No TPTP formula. May not be expressible in strict first order. Government.kif 906-913
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 653-661
No TPTP formula. May not be expressible in strict first order. Government.kif 663-671
No TPTP formula. May not be expressible in strict first order. Government.kif 935-940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13802-13808
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 14142-14147


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