| appearance as argument number 1 |
|
| (documentation Posting EnglishLanguage "Posting is a Process for creating DigitalPosts.") | ComputerInput.kif 2848-2849 | |
| (subclass Posting ContentDevelopment) | ComputerInput.kif 2846-2846 | 子類 Posting and ContentDevelopment |
| (subclass Posting NetworkCommunication) | ComputerInput.kif 2847-2847 | 子類 Posting and NetworkCommunication |
| appearance as argument number 2 |
|
|
| (subclass Crossposting Posting) | ComputingBrands.kif 4637-4637 | 子類 Crossposting and Posting |
| (termFormat EnglishLanguage Posting "Posting") | ComputerInput.kif 2850-2850 |
| antecedent |
|
|
| (=> (instance ?P Posting) (exists (?POST) (and (instance ?POST DigitalPost) (result ?P ?POST)))) |
ComputerInput.kif 2852-2857 |
| consequent |
|
|
| (=> (instance ?C Crossposting) (exists (?I ?P1 ?P2 ?D1 ?D2) (and (instance ?P1 Posting) (instance ?P2 Posting) (containsInformation ?P1 ?I) (containsInformation ?P1 ?I) (destination ?P1 ?D1) (destination ?P2 ?D2) (not (equal ?P1 ?P2)) (not (equal ?D1 ?D2)) (subProcess ?P1 ?C) (subProcess ?P2 ?C)))) |
ComputingBrands.kif 4643-4658 |
|
|
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