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

Formal Language: 



KB Term:  Term intersection
English Word: 

  serviceFee

 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 Le nombre 1 argument de serviceFee est une instance de FinancialOrganization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 895-895 Le nombre 2 argument de serviceFee est une instance de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 896-896 Le nombre 3 argument de serviceFee est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 893-893 serviceFee est une instance de pr�dicat ternaire

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