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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - financialAsset
financialAsset

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25493-25496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25497-25497 The number 1 argument of financial asset is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25498-25498 The number 2 argument of financial asset is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25500-25500 financial asset is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25499-25499 financial asset is a subrelation of possesses

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3444-3444
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3443-3443
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3442-3442
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65835-65835

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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