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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Logging

 Sigma KEE - Logging
Logging(記錄)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 519-521
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6675-6675
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7203-7203
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7204-7204
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7205-7205
No TPTP formula. May not be expressible in strict first order. naics.kif 517-517 子屬性 記錄 and 林業和伐木業

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34925-34925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34924-34924
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34923-34923


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