TreeView Knowledge Base Browser

appearance as argument number 1

(documentation quarter EnglishLanguage "(quarter ?QUART ?WHOLE) means that ?QUART is a quarter of ?WHOLE.")	Mid-level-ontology.kif 14763-14764
(instance quarter BinaryPredicate)	Mid-level-ontology.kif 14765-14765	quarter is an instance of binary predicate
(subrelation quarter part)	Mid-level-ontology.kif 14766-14766	quarter is a subrelation of part
(domain quarter 1 Object)	Mid-level-ontology.kif 14767-14767	The number 1 argument of quarter is an instance of object
(domain quarter 2 Object)	Mid-level-ontology.kif 14768-14768	The number 2 argument of quarter is an instance of object

appearance as argument number 2

(format EnglishLanguage quarter "%1 is a quarter of %2")	domainEnglishFormat.kif 4316-4316
(format ChineseTraditionalLanguage quarter "%1 是 %2 的 quarter ")	domainEnglishFormat.kif 4317-4317
(format ChineseLanguage quarter "%1 是 %2 的 quarter ")	domainEnglishFormat.kif 4318-4318
(termFormat EnglishLanguage quarter "quarter")	domainEnglishFormat.kif 48295-48295
(termFormat ChineseTraditionalLanguage quarter "25美分硬幣")	domainEnglishFormat.kif 48296-48296
(termFormat ChineseLanguage quarter "25美分硬币")	domainEnglishFormat.kif 48297-48297

antecedent

(<=>
    (quarter ?Q ?W)
    (exists (?H)
        (and
            (half ?H ?W)
            (half ?Q ?H))))

X is a quarter of Y if, only if there exists Z such that Z is half of Y, and X is half of Z