| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__modalAttribute__m,'%1 的声明 %n{doesnt have} %p{has} %2 的语气')
|
chinese_format.kif 590-590 | |
| s__format(s__EnglishLanguage,s__modalAttribute__m,'the statement %1 %n{doesnt have} %p{has} the modal force of %2')
|
english_format.kif 364-364 | |
| s__format(s__FrenchLanguage,s__modalAttribute__m,'largument %1 %n{n} %p{a} %n{pas} la force modale de %2')
|
french_format.kif 353-353 | |
| s__format(s__ItalianLanguage,s__modalAttribute__m,'laffermazione %1 ha il modello di forza di %2')
|
relations-it.txt 192-192 | |
| s__format(s__PortugueseLanguage,s__modalAttribute__m,'o argumento %1 %n{nao} %p{tem} %n a forca modal de %2')
|
portuguese_format.kif 305-305 | |
| s__format(s__de__m,s__modalAttribute__m,'die Aussage %1 hat die modale Kraft von %2')
|
relations-de.txt 775-775 | |
| s__format(s__hi__m,s__modalAttribute__m,'%1 prakathana kii ruupaatmaka visheshhataa %2 hai')
|
relations-hindi.txt 230-230 | |
| s__termFormat(s__ChineseLanguage,s__modalAttribute__m,'语气属性')
|
chinese_format.kif 591-591 | |
| s__termFormat(s__EnglishLanguage,s__modalAttribute__m,'modal attribute')
|
domainEnglishFormat.kif 6786-6786 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11454-11461 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17757-17759 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17836-17838 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17878-17880 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 729-752 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17620-17624 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11413-11418 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17896-17898 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17761-17763 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17840-17842 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17626-17628 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17906-17908 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11454-11461 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17757-17759 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17836-17838 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17878-17880 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11682-11692 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 319-325 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27526-27531 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27499-27503 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 193-210 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 125-134 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1158-1175 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23584-23597 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24067-24079 | |
| No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 151-169 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 495-510 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18779-18784 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11131-11140 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11141-11152 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11086-11094 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11160-11169 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11171-11180 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18765-18770 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11102-11111 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11112-11123 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11069-11077 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2354-2354 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2352-2352 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2349-2349 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners