| appearance as argument number 1 |
|
| (documentation half EnglishLanguage "(half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE.") | Mid-level-ontology.kif 13392-13393 | |
| (instance half BinaryPredicate) | Mid-level-ontology.kif 13391-13391 | |
| (subrelation half part) | Mid-level-ontology.kif 13390-13390 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage half "%1 是 %2 的 half ") | domainEnglishFormat.kif 3588-3588 | |
| (format ChineseTraditionalLanguage half "%1 是 %2 的 half ") | domainEnglishFormat.kif 3587-3587 | |
| (format EnglishLanguage half "%1 is half of %2") | domainEnglishFormat.kif 3586-3586 | |
| (termFormat ChineseLanguage half "半") | domainEnglishFormat.kif 27287-27287 | |
| (termFormat ChineseTraditionalLanguage half "半") | domainEnglishFormat.kif 27286-27286 | |
| (termFormat EnglishLanguage half "half") | domainEnglishFormat.kif 27285-27285 |
| antecedent |
|
|
| (=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 13395-13401 |
| consequent |
|
|
| (<=> (quarter ?Q ?W) (exists (?H) (and (half ?H ?W) (half ?Q ?H)))) |
Mid-level-ontology.kif 13426-13431 | |
| (=> (and (attribute ?X ?HEMI) (instance ?HEMI HemisphereFigure)) (exists (?Y) (and (instance ?Y Sphere) (half ?X ?Y)))) |
Mid-level-ontology.kif 26824-26831 | |
| (=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 13395-13401 | |
| (=> (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 13438-13445 |
|
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