half |
appearance as argument number 1 |
(documentation half EnglishLanguage "(half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE.") | Mid-level-ontology.kif 13201-13202 | |
(instance half BinaryPredicate) | Mid-level-ontology.kif 13200-13200 | half is an instance of binary predicate |
(subrelation half part) | Mid-level-ontology.kif 13199-13199 | half is a subrelation of part |
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 27258-27258 | |
(termFormat ChineseTraditionalLanguage half "半") | domainEnglishFormat.kif 27257-27257 | |
(termFormat EnglishLanguage half "half") | domainEnglishFormat.kif 27256-27256 |
antecedent |
(=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 13204-13210 |
|
consequent |