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 4550-4553
No TPTP formula. May not be expressible in strict first order. Merge.kif 4547-4547 The number 1 argument of sub proposition is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4548-4548 The number 2 argument of sub proposition is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4543-4543 sub proposition is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4545-4545 sub proposition is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4546-4546 sub proposition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4544-4544 sub proposition is an instance of transitive relation

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. Mid-level-ontology.kif 20662-20662 sub field is a subrelation of sub proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4564-4564 sub plan is a subrelation of sub proposition
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 55761-55761
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55760-55760
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55759-55759

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1129-1149
No TPTP formula. May not be expressible in strict first order. Government.kif 772-780
No TPTP formula. May not be expressible in strict first order. Government.kif 872-876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20471-20500
No TPTP formula. May not be expressible in strict first order. Government.kif 1173-1186
No TPTP formula. May not be expressible in strict first order. Government.kif 1208-1228
No TPTP formula. May not be expressible in strict first order. Government.kif 1264-1270
No TPTP formula. May not be expressible in strict first order. Government.kif 1247-1253
No TPTP formula. May not be expressible in strict first order. Government.kif 1255-1262
No TPTP formula. May not be expressible in strict first order. Government.kif 1117-1127
No TPTP formula. May not be expressible in strict first order. Merge.kif 4555-4562
No TPTP formula. May not be expressible in strict first order. Government.kif 1188-1206
No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1115

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


No TPTP formula. May not be expressible in strict first order. Government.kif 736-751
No TPTP formula. May not be expressible in strict first order. Government.kif 1026-1035
No TPTP formula. May not be expressible in strict first order. Government.kif 954-963
No TPTP formula. May not be expressible in strict first order. Merge.kif 16615-16621
No TPTP formula. May not be expressible in strict first order. Government.kif 914-918
No TPTP formula. May not be expressible in strict first order. Government.kif 903-910
No TPTP formula. May not be expressible in strict first order. Music.kif 917-919
No TPTP formula. May not be expressible in strict first order. Music.kif 905-907
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1897-1902
No TPTP formula. May not be expressible in strict first order. Government.kif 651-659
No TPTP formula. May not be expressible in strict first order. Government.kif 661-669
No TPTP formula. May not be expressible in strict first order. Government.kif 932-937
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13272-13278
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2793-2799
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13612-13617


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