| appearance as argument number 1 |
|
| (documentation third EnglishLanguage "(third ?THIRD ?WHOLE) means that ?THIRD is one third of ?WHOLE.") | Mid-level-ontology.kif 12646-12647 | |
| (instance third BinaryPredicate) | Mid-level-ontology.kif 12648-12648 | |
| (subrelation third part) | Mid-level-ontology.kif 12649-12649 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage third "%1 是 %2 的 third ") | domainEnglishFormat.kif 4783-4783 | |
| (format ChineseTraditionalLanguage third "%1 是 %2 的 third ") | domainEnglishFormat.kif 4782-4782 | |
| (format EnglishLanguage third "%1 is a third of %2") | domainEnglishFormat.kif 4781-4781 | |
| (termFormat ChineseLanguage third "第三") | domainEnglishFormat.kif 57839-57839 | |
| (termFormat ChineseTraditionalLanguage third "第三") | domainEnglishFormat.kif 57838-57838 | |
| (termFormat EnglishLanguage third "third") | domainEnglishFormat.kif 57837-57837 |
| antecedent |
|
|
| (=> (third ?T ?W) (exists (?O1 ?O2) (and (third ?O1 ?W) (third ?O2 ?W) (not (equal ?O1 ?T)) (not (equal ?O2 ?T)) (not (equal ?O1 ?O2)) (equal ?W (MereologicalSumFn ?T (MereologicalSumFn ?O1 ?O2)))))) |
Mid-level-ontology.kif 12651-12662 |
| consequent |
|
|
| (=> (third ?T ?W) (exists (?O1 ?O2) (and (third ?O1 ?W) (third ?O2 ?W) (not (equal ?O1 ?T)) (not (equal ?O2 ?T)) (not (equal ?O1 ?O2)) (equal ?W (MereologicalSumFn ?T (MereologicalSumFn ?O1 ?O2)))))) |
Mid-level-ontology.kif 12651-12662 |
|
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