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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - askPrice
askPrice

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1930-1931
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1926-1926 Le nombre 1 argument de askPrice est une instance de objet
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1927-1927 Le nombre 2 argument de askPrice est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1928-1928 Le nombre 3 argument de askPrice est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1925-1925 askPrice est une instance de relation ternaire
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1924-1924 askPrice est une sous-relation de price

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2822-2822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2821-2821
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2820-2820
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8688-8688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8687-8687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8686-8686

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2208-2212
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1933-1943


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