![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation AreaMeasure ChineseLanguage "这是用来量度二维空间的尺度。") | chinese_format.kif 2409-2409 | |
(documentation AreaMeasure EnglishLanguage "Measures of the amount of space in two dimensions.") | Merge.kif 6264-6265 | |
(documentation AreaMeasure JapaneseLanguage "2 次元のスペースの量の測定。") | japanese_format.kif 1096-1096 | |
(subclass AreaMeasure FunctionQuantity) | Merge.kif 6262-6262 | Mesure d'aire est une sous-classe de function de quantit� |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage AreaMeasure "面积测量") | chinese_format.kif 1305-1305 | |
(termFormat EnglishLanguage AreaMeasure "area measure") | english_format.kif 1827-1827 | |
(termFormat FrenchLanguage AreaMeasure "mesure d'aire") | french_format.kif 983-983 | |
(termFormat Hindi AreaMeasure "kshetraphala maapa") | terms-hindi.txt 518-518 | |
(termFormat ItalianLanguage AreaMeasure "MisuraDiArea") | terms-it.txt 522-522 | |
(termFormat JapaneseLanguage AreaMeasure "面積測定") | japanese_format.kif 2667-2667 | |
(termFormat PortugueseLanguage AreaMeasure "Medida de Area") | portuguese_format.kif 935-935 | |
(termFormat cb AreaMeasure "gidak-ong sukod") | terms-cb.txt 524-524 | |
(termFormat cz AreaMeasure "area measure") | terms-cz.txt 558-558 | |
(termFormat ro AreaMeasure "mãsurã de arie") | relations-ro.kif 1004-1004 | |
(termFormat tg AreaMeasure "sukat ng lawak") | terms-tg.txt 523-523 |
appearance as argument number 3 |
![]() |
(domain landAreaOnly 2 AreaMeasure) | Geography.kif 539-539 | Le nombre 2 argument de landAreaOnly est une instance de mesure d'aire |
(domain totalArea 2 AreaMeasure) | Mid-level-ontology.kif 31493-31493 | Le nombre 2 argument de totalArea est une instance de mesure d'aire |
(domain waterAreaOnly 2 AreaMeasure) | Geography.kif 548-548 | Le nombre 2 argument de waterAreaOnly est une instance de mesure d'aire |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |