Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 382-382 AuthorizationOfTransaction e' uma sub-classe de ControllingAnAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 383-383 AuthorizationOfTransaction e' uma sub-classe de Processo Regulatorio
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 384-384 AuthorizationOfTransaction e' uma sub-classe de FinancialService
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 364-364 ProcessingACheck e' uma sub-classe de AuthorizationOfTransaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3556-3556 EnteringAPin e' uma sub-classe de AuthorizationOfTransaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3568-3568 VerifyingCardCode e' uma sub-classe de AuthorizationOfTransaction


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