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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LosingConsciousness

 Sigma KEE - serviceFee
serviceFee

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 897-898
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 894-894 域 服務費, 1 and 金融機構
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 895-895 域 服務費, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 896-896 域 服務費, 3 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 893-893 例 服務費 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2251-2251
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2250-2250
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2249-2249
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52251-52251
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52250-52250
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52249-52249

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