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 The number 2 argument of price range is an instance of currency measure
(domain priceRange 3 CurrencyMeasure) Catalog.kif 205-205 The number 3 argument of price range is an instance of currency measure
(domain priceRange 4 AutonomousAgent) Catalog.kif 206-206 The number 4 argument of price range is an instance of agent
(domainSubclass priceRange 1 Entity) Catalog.kif 203-203 The number 1 argument of price range is a subclass of entity
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197 price range is an instance of quaternary predicate

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