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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Public

 Sigma KEE - Public
Public(上市)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26110-26111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26109-26109 子類 上市 and 一群人

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47956-47956
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47955-47955
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47954-47954

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26113-26124

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1383-1392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1050-1056


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