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 Die Zahl 2 Argument von priceRange ist ein fall von CurrencyMeasure %n{nicht}
(domain priceRange 3 CurrencyMeasure) Catalog.kif 205-205 Die Zahl 3 Argument von priceRange ist ein fall von CurrencyMeasure %n{nicht}
(domain priceRange 4 AutonomousAgent) Catalog.kif 206-206 Die Zahl 4 Argument von priceRange ist ein fall von AutonomousAgent %n{nicht}
(domainSubclass priceRange 1 Entity) Catalog.kif 203-203 Die Zahl 1 Argument von priceRange ist eine teilkategorie von Entity %n{nicht}
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197 priceRange ist ein fall von QuaternaryPredicate %n{nicht}

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