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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fillable
Fillable(fillable)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2866-2868
No TPTP formula. May not be expressible in strict first order. Merge.kif 9951-9954
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1613-1615
No TPTP formula. May not be expressible in strict first order. Merge.kif 9949-9949 Fillable is an instance of shape attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10025-10025 fills is internally related to fillable
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23666-23666
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23665-23665
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23664-23664

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10032-10037
No TPTP formula. May not be expressible in strict first order. Merge.kif 9961-9966

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9968-9972
No TPTP formula. May not be expressible in strict first order. Food.kif 2763-2776
No TPTP formula. May not be expressible in strict first order. Merge.kif 9956-9959


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