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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - bidPrice
bidPrice

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1909-1910
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1906-1906 競標價格, 1 and Object
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1907-1907 競標價格, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1908-1908 競標價格, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1905-1905 競標價格 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1904-1904 子關係 競標價格 and 價錢

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2898-2898
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2897-2897
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2896-2896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10973-10973
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10972-10972
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10971-10971

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
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 1912-1922

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 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