| appearance as argument number 1 |
|
| (documentation BodySideFn EnglishLanguage "A Function that takes a BodyPart that normally exists in pairs and returns the part that is on the given side of the body, for example (BodyPartFn Right Lung) or (BodyPartFn Left Arm).") | Merge.kif 14974-14976 | |
| (domain BodySideFn 1 AntiSymmetricPositionalAttribute) | Merge.kif 14971-14971 | Die Zahl 1 Argument von BodySideFn ist ein fall von AntiSymmetricPositionalAttribute %n{nicht} |
| (domainSubclass BodySideFn 2 BodyPart) | Merge.kif 14972-14972 | Die Zahl 2 Argument von BodySideFn ist eine teilkategorie von BodyPart %n{nicht} |
| (instance BodySideFn BinaryFunction) | Merge.kif 14970-14970 | BodySideFn ist ein fall von BinaryFunction %n{nicht} |
| (rangeSubclass BodySideFn BodyPart) | Merge.kif 14973-14973 | Die werte die BodySideFn zurueckgibt sind teilkategorien von BodyPart |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage BodySideFn "the %1 %2") | Merge.kif 14977-14977 | |
| (termFormat EnglishLanguage BodySideFn "Body side fn") | domainEnglishFormat.kif 64553-64553 |
| antecedent |
|
|
| (=> (and (instance ?A Animal) (instance ?P (BodySideFn ?S ?BPC)) (contraryAttribute ?S ?SO) (attribute ?A Healthy)) (exists (?PO) (and (instance ?PO (BodySideFn ?SO ?BPC)) (orientation ?P ?PO ?S)))) |
Merge.kif 14979-14990 |
|
| (=> (instance ?X (BodySideFn ?S ?P)) (instance ?X ?P)) |
Merge.kif 14992-14994 |
|
| consequent |
|
|
| (=> (and (instance ?A Animal) (instance ?P (BodySideFn ?S ?BPC)) (contraryAttribute ?S ?SO) (attribute ?A Healthy)) (exists (?PO) (and (instance ?PO (BodySideFn ?SO ?BPC)) (orientation ?P ?PO ?S)))) |
Merge.kif 14979-14990 |
|
| statement |
|
|
|
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