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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FolderIcon

 Sigma KEE - FolderIcon
FolderIcon(资料夹)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3005-3006
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3002-3003
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2999-3000
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3008-3009
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2998-2998 资料夹 是 图标 的 subclass

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3013-3013
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3012-3012
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3011-3011
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3014-3014

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3015-3021


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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