| appearance as argument number 1 |
|
| (documentation half EnglishLanguage "(half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE.") | Mid-level-ontology.kif 14507-14508 | |
| (domain half 1 Object) | Mid-level-ontology.kif 14504-14504 | |
| (domain half 2 Object) | Mid-level-ontology.kif 14505-14505 | |
| (instance half BinaryPredicate) | Mid-level-ontology.kif 14506-14506 | |
| (subrelation half part) | Mid-level-ontology.kif 14503-14503 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage half "%1 是 %2 的 half ") | domainEnglishFormat.kif 3592-3592 | |
| (format ChineseTraditionalLanguage half "%1 是 %2 的 half ") | domainEnglishFormat.kif 3591-3591 | |
| (format EnglishLanguage half "%1 is half of %2") | domainEnglishFormat.kif 3590-3590 | |
| (termFormat ChineseLanguage half "半") | domainEnglishFormat.kif 27269-27269 | |
| (termFormat ChineseTraditionalLanguage half "半") | domainEnglishFormat.kif 27268-27268 | |
| (termFormat EnglishLanguage half "half") | domainEnglishFormat.kif 27267-27267 |
| antecedent |
|
|
| (=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 14510-14516 |
| consequent |
|
|
| (<=> (quarter ?Q ?W) (exists (?H) (and (half ?H ?W) (half ?Q ?H)))) |
Mid-level-ontology.kif 14545-14550 | |
| (=> (and (attribute ?X ?HEMI) (instance ?HEMI HemisphereFigure)) (exists (?Y) (and (instance ?Y Sphere) (half ?X ?Y)))) |
Mid-level-ontology.kif 28461-28468 | |
| (=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 14510-14516 | |
| (=> (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 14559-14566 |
|
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