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 Le nombre 2 argument de priceRange est une instance de mesure de devise
(domain priceRange 3 CurrencyMeasure) Catalog.kif 205-205 Le nombre 3 argument de priceRange est une instance de mesure de devise
(domain priceRange 4 AutonomousAgent) Catalog.kif 206-206 Le nombre 4 argument de priceRange est une instance de AutonomousAgent
(domainSubclass priceRange 1 Entity) Catalog.kif 203-203 Le nombre 1 argument de priceRange est une sous-classe de entit�
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197 priceRange est une instance de pr�dicat quaternaire

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