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

Formal Language: 


KB Term:  Term intersection
English Word: 

  bidPrice

Sigma KEE - bidPrice
bidPrice

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1926-1927
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1923-1923 The number 1 argument of bid price is an instance of object
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1924-1924 The number 2 argument of bid price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1925-1925 The number 3 argument of bid price is an instance of agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1922-1922 bid price is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1921-1921 bid price is a subrelation of price

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2894-2894
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2893-2893
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2892-2892
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10982-10982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10981-10981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10980-10980

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2048-2069
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 354-365
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1407-1414
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1929-1939

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 343-352
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1416-1425
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 415-423
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 109-115


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

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