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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - containsFormula
containsFormula

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1373-1377
No TPTP formula. May not be expressible in strict first order. Merge.kif 1367-1367 The number 1 argument of contains formula is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1368-1368 The number 2 argument of contains formula is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 1366-1366 contains formula is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1371-1371
No TPTP formula. May not be expressible in strict first order. Merge.kif 1369-1369 contains information is internally related to contains formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 1370-1370

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2331-2338

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12046-12062
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4195-4210
No TPTP formula. May not be expressible in strict first order. Biography.kif 250-264
No TPTP formula. May not be expressible in strict first order. Biography.kif 280-296
No TPTP formula. May not be expressible in strict first order. Biography.kif 307-317
No TPTP formula. May not be expressible in strict first order. Law.kif 65-78
No TPTP formula. May not be expressible in strict first order. Law.kif 400-415


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