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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - priceRange
priceRange

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


(documentation priceRange EnglishLanguage "(priceRange ?OBJ ?MIN ?MAX ?AGENT) means that AutonomousAgent ?AGENT attaches range of possible productPrice for ?OBJ with minimum ?MIN and maximum ?MAX") Catalog.kif 198-200
(domain priceRange 2 CurrencyMeasure) Catalog.kif 204-204
(domain priceRange 3 CurrencyMeasure) Catalog.kif 205-205
(domain priceRange 4 AutonomousAgent) Catalog.kif 206-206
(domainSubclass priceRange 1 Entity) Catalog.kif 203-203
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197

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


(format ChineseLanguage priceRange "%1 costs between %2 ε’Œ %3 从 %4 ") domainEnglishFormat.kif 4214-4214
(format ChineseTraditionalLanguage priceRange "%1 costs between %2 ε’Œ %3 從 %4 ") domainEnglishFormat.kif 4213-4213
(format EnglishLanguage priceRange "%1 costs between %2 and %3 from %4") domainEnglishFormat.kif 4212-4212
(termFormat EnglishLanguage priceRange "price range") Catalog.kif 201-201


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