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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysicalDimension
PhysicalDimension

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


(documentation PhysicalDimension EnglishLanguage "A physical dimension such as length, mass, force etc.") engineering.kif 71-72
(lexicon PhysicalDimension LexNoun "physical dimension") engineering.kif 73-73
(subclass PhysicalDimension Quantity) engineering.kif 74-74 PhysicalDimension は 量 の subclass では %n

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


(instance AngularVelocity PhysicalDimension) engineering.kif 86-86 AngularVelocity は PhysicalDimension の instance では %n
(instance Current PhysicalDimension) engineering.kif 95-95 Current は PhysicalDimension の instance では %n
(instance Dimensionless PhysicalDimension) engineering.kif 108-108 Dimensionless は PhysicalDimension の instance では %n
(instance Force PhysicalDimension) engineering.kif 83-83 Force は PhysicalDimension の instance では %n
(instance Length PhysicalDimension) engineering.kif 77-77 Length は PhysicalDimension の instance では %n
(instance Power PhysicalDimension) engineering.kif 104-104 Power は PhysicalDimension の instance では %n
(instance Pressure PhysicalDimension) engineering.kif 98-98 Pressure は PhysicalDimension の instance では %n
(instance Torque PhysicalDimension) engineering.kif 89-89 Torque は PhysicalDimension の instance では %n
(instance Velocity PhysicalDimension) engineering.kif 80-80 Velocity は PhysicalDimension の instance では %n
(instance Voltage PhysicalDimension) engineering.kif 92-92 Voltage は PhysicalDimension の instance では %n
(instance VolumeFlow PhysicalDimension) engineering.kif 101-101 VolumeFlow は PhysicalDimension の instance では %n
(termFormat ChineseLanguage PhysicalDimension "物理尺寸") domainEnglishFormat.kif 45726-45726
(termFormat ChineseTraditionalLanguage PhysicalDimension "物理尺寸") domainEnglishFormat.kif 45725-45725
(termFormat EnglishLanguage PhysicalDimension "physical dimension") domainEnglishFormat.kif 45724-45724

appearance as argument number 3
-------------------------


(domain hasDimension 2 PhysicalDimension) engineering.kif 300-300 hasDimension の数値 2 引数は PhysicalDimension の instance では %n
(domain physicalDomain 1 PhysicalDimension) engineering.kif 278-278 physicalDomain の数値 1 引数は PhysicalDimension の instance では %n
(domain physicalDomain 2 PhysicalDimension) engineering.kif 279-279 physicalDomain の数値 2 引数は PhysicalDimension の instance では %n


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