| appearance as argument number 1 |
|
| (documentation half EnglishLanguage "(half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE.") | Mid-level-ontology.kif 13146-13147 | |
| (instance half BinaryPredicate) | Mid-level-ontology.kif 13145-13145 | half は 2進述語 の instance では %n |
| (subrelation half part) | Mid-level-ontology.kif 13144-13144 | half は part の subrelation では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage half "%1 是 %2 的 half ") | domainEnglishFormat.kif 3594-3594 | |
| (format ChineseTraditionalLanguage half "%1 是 %2 的 half ") | domainEnglishFormat.kif 3593-3593 | |
| (format EnglishLanguage half "%1 is half of %2") | domainEnglishFormat.kif 3592-3592 | |
| (termFormat ChineseLanguage half "半") | domainEnglishFormat.kif 27264-27264 | |
| (termFormat ChineseTraditionalLanguage half "半") | domainEnglishFormat.kif 27263-27263 | |
| (termFormat EnglishLanguage half "half") | domainEnglishFormat.kif 27262-27262 |
| antecedent |
|
|
| (=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 13149-13155 |
| consequent |
|
|
| (<=> (quarter ?Q ?W) (exists (?H) (and (half ?H ?W) (half ?Q ?H)))) |
Mid-level-ontology.kif 13180-13185 | quarter オブジェクト and オブジェクト オブジェクト half オブジェクト and オブジェクト half オブジェクト and オブジェクト |
| (=> (and (attribute ?X ?HEMI) (instance ?HEMI HemisphereFigure)) (exists (?Y) (and (instance ?Y Sphere) (half ?X ?Y)))) |
Mid-level-ontology.kif 26492-26499 | |
| (=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 13149-13155 | |
| (=> (most ?MOST ?WHOLE) (exists (?HALF ?NUMBER1 ?NUMBER2 ?UNIT) (and (half ?HALF ?WHOLE) (measure ?HALF (MeasureFn ?NUMBER1 ?UNIT)) (measure ?MOST (MeasureFn ?NUMBER2 ?UNIT)) (greaterThan ?NUMBER2 ?NUMBER1)))) |
Mid-level-ontology.kif 13192-13199 |
|
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