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 O argumento numero 1 de serviceFee e' uma instancia de FinancialOrganization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 895-895 O argumento numero 2 de serviceFee e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 896-896 O argumento numero 3 de serviceFee e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 893-893 serviceFee e' uma instancia de Predicado Ternario

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