| appearance as argument number 1 |
|
| (documentation diameter ChineseLanguage "(diameter ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的直径的长度是 ?LENGTH。") | chinese_format.kif 2653-2654 | |
| (documentation diameter EnglishLanguage "(diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH.") | Merge.kif 7729-7730 | |
| (documentation diameter JapaneseLanguage "(diameter ?CIRCLE ?LENGTH) とは、Circle ?CIRCLEの直径が ?LENGTH の長さを有することを意味する。") | japanese_format.kif 1370-1371 | |
| (domain diameter 1 Circle) | Merge.kif 7726-7726 | |
| (domain diameter 2 LengthMeasure) | Merge.kif 7727-7727 | |
| (instance diameter BinaryPredicate) | Merge.kif 7723-7723 | |
| (instance diameter SingleValuedRelation) | Merge.kif 7724-7724 | |
| (instance diameter TotalValuedRelation) | Merge.kif 7725-7725 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage diameter "%1 的 diameter %n 是 %2") | chinese_format.kif 617-617 | |
| (format EnglishLanguage diameter "the diameter of %1 is %n %2") | english_format.kif 620-620 | |
| (format FrenchLanguage diameter "le diam�tre de %1 est %n %2") | french_format.kif 373-373 | |
| (format ItalianLanguage diameter "il diametro di %1 è %n %2") | relations-it.txt 73-73 | |
| (format JapaneseLanguage diameter "%1 の diameter は %2 では %n") | japanese_format.kif 2107-2107 | |
| (format PortugueseLanguage diameter "o diametro de %1 e' %n %2") | portuguese_format.kif 325-325 | |
| (format de diameter "der durchmesser von %1 ist %2 %n{nicht}") | relations-de.txt 809-809 | |
| (format hi diameter "%1 kaa vyaasa %2 %n hai") | relations-hindi.txt 114-114 | |
| (format ro diameter "diameter%t{diametrul} lui %1 %n{nu} este %2") | relations-ro.kif 395-395 | |
| (format sv diameter "diametern på %1 är %n{inte} %2") | relations-sv.txt 414-414 | |
| (format tg diameter "ang bantod ng %1 %n ay %2") | relations-cb.txt 107-107 | |
| (relatedInternalConcept arcLength diameter) | Mid-level-ontology.kif 5700-5700 | |
| (termFormat ChineseLanguage diameter "圆周") | chinese_format.kif 618-618 | |
| (termFormat ChineseLanguage diameter "直径") | domainEnglishFormat.kif 19443-19443 | |
| (termFormat ChineseTraditionalLanguage diameter "直徑") | domainEnglishFormat.kif 19442-19442 | |
| (termFormat EnglishLanguage diameter "diameter") | domainEnglishFormat.kif 19441-19441 | |
| (termFormat de diameter "durchmesser") | terms-de.txt 239-239 | |
| (termFormat tg diameter "bantod") | relations-tg.txt 163-163 |
| antecedent |
|
|
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 0.7)) |
Anatomy.kif 1611-1618 | |
| (=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 3.0)) |
Anatomy.kif 1561-1568 | |
| (=> (diameter ?CIRCLE ?LENGTH) (equal ?CIRCLE Circle)) |
Merge.kif 7739-7741 | |
| (=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH)))) |
Merge.kif 7732-7737 |
| consequent |
|
|
| (=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI ?C) (equal ?C Circle)) (diameter ?C ?M)) |
Cars.kif 1541-1550 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 32861-32866 | |
| (=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 32868-32873 | |
| (=> (circumference ?CIRCLE ?LENGTH) (exists (?D ?UNIT) (and (diameter ?CIRCLE (MeasureFn ?D ?UNIT)) (equal (MeasureFn (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH)))) |
Mid-level-ontology.kif 32839-32847 | |
| (=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch))))) |
Sports.kif 976-986 |
|
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